OAI/AlgebraicGeometry/Seshadri/Cohomology/ToricCoordinates.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.LaurentPlane.T_nsmul line 13
2. lemma OAI.MaximalSeshadri.Projective.ratioUnitOn_self line 27
3. lemma OAI.MaximalSeshadri.Projective.plane_weight_unit line 33
4. lemma OAI.MaximalSeshadri.Projective.plane_ratio_weight line 41
5. lemma OAI.MaximalSeshadri.Projective.plane_ratio_weight_restrict line 57
6. lemma OAI.MaximalSeshadri.Projective.plane_vertex_lift line 65