OAI/AlgebraicGeometry/Seshadri/Cohomology/KernelH1.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MaximalSeshadri.PlaneCech.kernelA line 17
2. abbrev OAI.MaximalSeshadri.PlaneCech.kernelB line 19
3. abbrev OAI.MaximalSeshadri.PlaneCech.kernelC line 21
4. lemma OAI.MaximalSeshadri.PlaneCech.kernelA_stable line 24
5. lemma OAI.MaximalSeshadri.PlaneCech.kernelB_stable line 29
6. lemma OAI.MaximalSeshadri.PlaneCech.kernelC_stable line 34
7. lemma OAI.MaximalSeshadri.PlaneCech.kernelVertex_zero line 40
8. lemma OAI.MaximalSeshadri.PlaneCech.kernelVertex_one line 43
9. lemma OAI.MaximalSeshadri.PlaneCech.kernelVertex_two line 46
10. lemma OAI.MaximalSeshadri.PlaneCech.kernel_boundaries line 50
11. theorem OAI.MaximalSeshadri.PlaneCech.kernel_H1_finite line 80