OAI/AlgebraicGeometry/Seshadri/Geometry/PlaneBoundaries.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MaximalSeshadri.Geometry.BaseSections.tripleBoundary_first line 22
  2. lemma OAI.MaximalSeshadri.Geometry.BaseSections.tripleBoundary_second line 31
  3. lemma OAI.MaximalSeshadri.Geometry.BaseSections.tripleBoundary_third line 41
  4. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relation_boundary_A line 60
  5. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relation_boundary_B line 73
  6. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relation_boundary_C line 87
  7. abbrev OAI.MaximalSeshadri.Geometry.BaseSections.relationBoundaries line 100
  8. lemma OAI.MaximalSeshadri.Geometry.BaseSections.planeCycles_ext line 102
  9. lemma OAI.MaximalSeshadri.Geometry.BaseSections.homChart_desc_first line 107
  10. lemma OAI.MaximalSeshadri.Geometry.BaseSections.homChart_desc_second line 119
  11. lemma OAI.MaximalSeshadri.Geometry.BaseSections.homChart_desc_third line 133
  12. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge0_A line 147
  13. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge0_B line 160
  14. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge0_C line 173
  15. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge0 line 185
  16. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge1_A line 192
  17. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge1_B line 205
  18. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge1_C line 217
  19. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge1 line 230
  20. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge2_A line 237
  21. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge2_B line 249
  22. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge2_C line 262
  23. lemma OAI.MaximalSeshadri.Geometry.BaseSections.relationCycles_edge2 line 275
  24. lemma OAI.MaximalSeshadri.Geometry.BaseSections.plane_boundaries_lift line 282