OAI/AlgebraicGeometry/Seshadri/Cohomology/PlaneVertex.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MaximalSeshadri.Projective.planeVertex line 21
2. lemma OAI.MaximalSeshadri.Projective.planeVertex_stable line 24
3. lemma OAI.MaximalSeshadri.Projective.planeVertex_cross_clearing line 34
4. lemma OAI.MaximalSeshadri.Projective.planeVertex_finite_generators line 56