OAI/AlgebraicGeometry/Seshadri/Cohomology/ToricH1.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.PlaneCech.laurentSupported_inter line 18
2. def OAI.MaximalSeshadri.PlaneCech.vertexBoundaries line 22
3. lemma OAI.MaximalSeshadri.PlaneCech.edgeAB_mem_vertexBoundaries line 27
4. lemma OAI.MaximalSeshadri.PlaneCech.edgeAC_mem_vertexBoundaries line 33
5. lemma OAI.MaximalSeshadri.PlaneCech.edgeBC_mem_vertexBoundaries line 39
6. lemma OAI.MaximalSeshadri.PlaneCech.freeMap_vertex_relations line 46
7. theorem OAI.MaximalSeshadri.PlaneCech.toric_H1_finite line 80