OAI/AlgebraicGeometry/Seshadri/Cohomology/PlaneRelationCycles.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MaximalSeshadri.Geometry.BaseSections.basePrecomp line 22
2. abbrev OAI.MaximalSeshadri.Geometry.BaseSections.planeRelations line 28
3. abbrev OAI.MaximalSeshadri.Geometry.BaseSections.planeVertices line 31
4. abbrev OAI.MaximalSeshadri.Geometry.BaseSections.planeRelIota line 34
5. abbrev OAI.MaximalSeshadri.Geometry.BaseSections.planeRelPi line 38
6. def OAI.MaximalSeshadri.Geometry.BaseSections.relationA line 44
7. def OAI.MaximalSeshadri.Geometry.BaseSections.relationB line 49
8. def OAI.MaximalSeshadri.Geometry.BaseSections.relationC line 55
9. def OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles line 62
10. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_injective line 85