OAI/AlgebraicGeometry/Seshadri/Cohomology/FiniteCover.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MaximalSeshadri.FiniteCoverCohomology.freeOpenModule line 18
2. theorem OAI.MaximalSeshadri.FiniteCoverCohomology.affine_open_ext_zero line 21
3. theorem OAI.MaximalSeshadri.FiniteCoverCohomology.affine_union_ext_zero line 39
4. def OAI.MaximalSeshadri.FreeOpenUnit.isoFromHomEquiv line 85
5. def OAI.MaximalSeshadri.FreeOpenUnit.freeTopIso line 99
6. theorem OAI.MaximalSeshadri.FiniteCoverCohomology.cover_ext_zero line 121