OAI/AlgebraicGeometry/Seshadri/Geometry/FiniteScheme.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.Geometry.proper_finite_scheme_isFinite line 16
2. lemma OAI.MaximalSeshadri.Geometry.proper_finite_scheme_isAffine line 20
3. lemma OAI.MaximalSeshadri.Geometry.proper_finite_functions line 25
4. lemma OAI.MaximalSeshadri.Geometry.proper_finite_germ_surjective line 36
5. theorem OAI.MaximalSeshadri.Geometry.proper_finite_stalk_finrank_le line 52