OAI/AlgebraicGeometry/Seshadri/Geometry/GeometricDivision.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.Geometry.section_value_naturality line 18
2. lemma OAI.MaximalSeshadri.Geometry.section_eq_zero_of_top_value line 28
3. lemma OAI.MaximalSeshadri.Geometry.section_eq_zero_of_local_restrictions line 38
4. theorem OAI.MaximalSeshadri.Geometry.global_division_of_local_lifts line 62
5. lemma OAI.MaximalSeshadri.Geometry.pullback_zero_coefficient_mem line 87
6. lemma OAI.MaximalSeshadri.Geometry.framed_local_division line 108
7. theorem OAI.MaximalSeshadri.Geometry.geometric_global_division line 120