chore(Mathlib/Algebra/Category/ModuleCat/Sheaf/Quasicoherent.lean): automated extraction (leanprover-community#36135)

This PR was automatically created from PR leanprover-community#35233 by @kim-em via a [review comment](leanprover-community#35233 (comment)) by @Vierkantor.

Co-authored-by: kim-em <477956+kim-em@users.noreply.github.com>

Author: mathlib-splicebot[bot]

Mathlib/Algebra/Category/ModuleCat/Sheaf/Quasicoherent.lean

@@ -7,8 +7,6 @@ module
 
 public import Mathlib.Algebra.Category.ModuleCat.Sheaf.Generators
 public import Mathlib.Algebra.Category.ModuleCat.Sheaf.Abelian
-public import Mathlib.Algebra.Category.ModuleCat.Sheaf.PullbackContinuous
-public import Mathlib.CategoryTheory.FiberedCategory.HomLift
 public import Mathlib.CategoryTheory.Comma.Over.Pullback
 
 /-!