OAI/AlgebraicGeometry/Seshadri/Cohomology/CurveCech.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MaximalSeshadri.Geometry.twoChartImage line 30
2. lemma OAI.MaximalSeshadri.Geometry.twoChartImage_eq line 35
3. def OAI.MaximalSeshadri.Geometry.twoAffineUnionExtOne line 93
4. def OAI.MaximalSeshadri.Geometry.extSourceIso line 118
5. def OAI.MaximalSeshadri.Geometry.twoAffineCohomologyOne line 131