OAI/AlgebraicGeometry/Seshadri/Intersection/CurveSectionDegree.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MaximalSeshadri.Geometry.projective_negative_degree_section_zero line 25
2. theorem OAI.MaximalSeshadri.Geometry.projective_degree_zero_section_isoOpen line 36
3. theorem OAI.MaximalSeshadri.Geometry.projective_negative_degree_power_section_zero line 44
4. theorem OAI.MaximalSeshadri.Geometry.IntegralCurve.negative_degree_section_zero line 53