Update Mathlib.lean

leanprover-community · Oct 24, 2024 · 15a3b87 · 15a3b87
1 parent 65bd0b6
commit 15a3b87
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -877,6 +877,7 @@ import Mathlib.AlgebraicGeometry.Morphisms.ClosedImmersion
 import Mathlib.AlgebraicGeometry.Morphisms.Constructors
 import Mathlib.AlgebraicGeometry.Morphisms.FinitePresentation
 import Mathlib.AlgebraicGeometry.Morphisms.FiniteType
+import Mathlib.AlgebraicGeometry.Morphisms.Immersion
 import Mathlib.AlgebraicGeometry.Morphisms.IsIso
 import Mathlib.AlgebraicGeometry.Morphisms.OpenImmersion
 import Mathlib.AlgebraicGeometry.Morphisms.Preimmersion