OAI/AlgebraicGeometry/Seshadri/Cohomology/PlaneCechLinear.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MaximalSeshadri.PlaneCech.cycles line 13
  2. def OAI.MaximalSeshadri.PlaneCech.edgeAB line 21
  3. def OAI.MaximalSeshadri.PlaneCech.edgeAC line 27
  4. def OAI.MaximalSeshadri.PlaneCech.edgeBC line 33
  5. def OAI.MaximalSeshadri.PlaneCech.boundaries line 39
  6. def OAI.MaximalSeshadri.PlaneCech.fullBoundaries line 44
  7. theorem OAI.MaximalSeshadri.PlaneCech.fullBoundaries_eq_top line 47