OAI/AlgebraicGeometry/Seshadri/Geometry/ProperGlobalField.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.MaximalSeshadri.Geometry.Surface.isProper_structureMap line 17
2. theorem OAI.MaximalSeshadri.Geometry.proper_baseScalars_surjective line 58
3. theorem OAI.MaximalSeshadri.Geometry.proper_cohomologyDimension_zero_structure line 66
4. theorem OAI.MaximalSeshadri.Geometry.proper_structure_cohomology_zero_finite line 80