OAI/AlgebraicGeometry/Seshadri/Cohomology/
403 declarations, 0 contain sorry, 0 declared as axioms; 69 files
Files
- AffineDenominators.lean 18 declarations
- AffineVanishing.lean 19 declarations
- BaseCech.lean 1 declarations
- CartierExtraction.lean 4 declarations
- CechH0.lean 6 declarations
- CechPresentation.lean 3 declarations
- ClosedPushforwardCohomology.lean 6 declarations
- CohomologyIso.lean 2 declarations
- CurveCech.lean 5 declarations
- CurveCohomology.lean 3 declarations
- CurveH0Finite.lean 7 declarations
- CurveH1Bound.lean 3 declarations
- CurveH1Finite.lean 2 declarations
- CycleStructures.lean 3 declarations
- ExtCokernel.lean 1 declarations
- FiniteCover.lean 6 declarations
- FiniteSupportCohomology.lean 7 declarations
- FreeVertices.lean 8 declarations
- GeneralSurfaceH2.lean 1 declarations
- Injectives.lean 9 declarations
- IntegralExtension.lean 3 declarations
- IntegralIdealExtension.lean 2 declarations
- KernelH1.lean 11 declarations
- KernelVertices.lean 4 declarations
- LaurentCech.lean 1 declarations
- LaurentH0.lean 1 declarations
- LaurentIntersection.lean 1 declarations
- LaurentLattices.lean 11 declarations
- LaurentPlane.lean 10 declarations
- LaurentSupport.lean 12 declarations
- LaurentTails.lean 3 declarations
- LaurentTorsion.lean 3 declarations
- MixedDivisibleExtension.lean 2 declarations
- MixedGlobalExtension.lean 2 declarations
- MixedLocalExtension.lean 3 declarations
- PlaneCechFinite.lean 1 declarations
- PlaneCechLinear.lean 7 declarations
- PlaneFreeCech.lean 13 declarations
- PlaneH0Finite.lean 1 declarations
- PlaneH1Finite.lean 1 declarations
- PlanePairToric.lean 7 declarations
- PlanePairs.lean 3 declarations
- PlaneRelationCycles.lean 10 declarations
- PlaneVertex.lean 4 declarations
- ProjectiveCurveCohomology.lean 1 declarations
- RestrictionComparison.lean 18 declarations
- SectionIdealExt.lean 3 declarations
- SheafExactness.lean 27 declarations
- SurfaceBaseCech.lean 3 declarations
- SurfaceCech.lean 24 declarations
- SurfaceCohomology.lean 3 declarations
- SurfaceH0Finite.lean 5 declarations
- SurfaceH1Finite.lean 5 declarations
- SurfaceH1Growth.lean 3 declarations
- SurfaceH2Finite.lean 2 declarations
- SurfaceH2Untwist.lean 2 declarations
- ToricCoordinates.lean 6 declarations
- ToricFreeMap.lean 6 declarations
- ToricH0.lean 1 declarations
- ToricH1.lean 7 declarations
- ToricPolynomial.lean 7 declarations
- ToricPresentation.lean 13 declarations
- ToricSpan.lean 6 declarations
- ToricVertexPresentation.lean 2 declarations
- TripleComplex.lean 13 declarations
- TripleEvaluation.lean 9 declarations
- TripleExt.lean 1 declarations
- TripleFree.lean 2 declarations
- TripleTopExt.lean 4 declarations