OAI/NumberTheory/PiExponent/Cohomology/
1091 declarations, 0 contain sorry, 0 declared as axioms; 99 files
Files
- AmpleCohomologyFinite.lean 2 declarations
- AmpleLineCohomology.lean 1 declarations
- CartierEulerDifference.lean 2 declarations
- CartierEulerPair.lean 15 declarations
- CartierMixedEuler.lean 8 declarations
- CechExtFinite.lean 22 declarations
- CechH1Transfer.lean 13 declarations
- CechHigher.lean 41 declarations
- CechLinear.lean 26 declarations
- CechOne.lean 12 declarations
- CechOneConverse.lean 4 declarations
- CechZero.lean 13 declarations
- CechZeroAdditive.lean 6 declarations
- CohomologyFinite.lean 4 declarations
- CohomologyIso.lean 2 declarations
- CurveCycleEuler.lean 7 declarations
- CurveDerivativeVanishing.lean 3 declarations
- CurveEuler.lean 15 declarations
- CurveFinitePushforwardCohomology.lean 11 declarations
- CurveNormalizationCohomology.lean 7 declarations
- CurveNormalizationEuler.lean 6 declarations
- CurveRegularEuler.lean 1 declarations
- CurveTensorEuler.lean 2 declarations
- CurveTwoAffineVanishing.lean 1 declarations
- CurveZeroEuler.lean 5 declarations
- EndomorphismEulerAdditivity.lean 14 declarations
- EulerCutoff.lean 2 declarations
- EulerDifferencePolynomial.lean 6 declarations
- EulerExact.lean 18 declarations
- EulerPolynomialDegree.lean 10 declarations
- EulerPolynomialInterpolation.lean 3 declarations
- EulerRegularSections.lean 2 declarations
- EulerRegularTwists.lean 1 declarations
- EulerSupportDimension.lean 6 declarations
- EulerTwistTransport.lean 5 declarations
- EulerZeroDimensional.lean 7 declarations
- FiniteCoverCohomology.lean 96 declarations
- FiniteLineEuler.lean 9 declarations
- FiniteSupportCohomology.lean 8 declarations
- FiniteZeroEuler.lean 2 declarations
- FreeCechResolution.lean 13 declarations
- FreeCechSections.lean 21 declarations
- GradedCech.lean 43 declarations
- GradedCechBound.lean 17 declarations
- GradedCechExactness.lean 2 declarations
- GradedCechRecovery.lean 3 declarations
- GradedFreeCech.lean 11 declarations
- GradedH0.lean 19 declarations
- GradedPolynomialCech.lean 11 declarations
- GradedPolynomialLaurent.lean 39 declarations
- GradedSerreVanishing.lean 4 declarations
- IdealPowerCohomology.lean 4 declarations
- LaurentCechFinite.lean 14 declarations
- LaurentExtFinite.lean 6 declarations
- LineCohomologyDimension.lean 1 declarations
- LocalIntersectionEulerFiltration.lean 6 declarations
- LocalIntersectionRegularEuler.lean 6 declarations
- MixedEulerAlgebra.lean 23 declarations
- MixedEulerAmpleDimension.lean 2 declarations
- MixedEulerCartier.lean 1 declarations
- MixedEulerCartierAmple.lean 1 declarations
- MixedEulerCurveMargin.lean 2 declarations
- MixedEulerDimension.lean 4 declarations
- MixedEulerPolarization.lean 20 declarations
- MixedEulerPositivity.lean 4 declarations
- MixedEulerRestriction.lean 4 declarations
- MixedEulerSlope.lean 12 declarations
- MixedEulerTop.lean 9 declarations
- NakaiCohomology.lean 7 declarations
- NakaiEulerGrowth.lean 4 declarations
- NilpotentIdealVanishing.lean 3 declarations
- NoetherianAmpleSerreVanishing.lean 3 declarations
- NumericalEulerSlopeInputs.lean 3 declarations
- PencilCohomology.lean 11 declarations
- PencilCohomologyCech.lean 12 declarations
- PencilCohomologyCharts.lean 28 declarations
- PencilCohomologyFiniteCharts.lean 9 declarations
- PencilCohomologyLaurent.lean 22 declarations
- PencilCohomologyPencil.lean 5 declarations
- PencilCohomologySections.lean 30 declarations
- ProjectiveCoordinateAcyclicity.lean 8 declarations
- ProjectiveEmbeddingCohomologyBound.lean 3 declarations
- ProjectiveFramedCech.lean 10 declarations
- ProjectiveLaurentTransitions.lean 28 declarations
- ProjectiveLaurentVertex.lean 53 declarations
- ProjectiveLineLaurent.lean 16 declarations
- ProjectiveMonomialCech.lean 12 declarations
- ProjectiveMonomialCechHigher.lean 17 declarations
- ProjectiveMonomialCohomology.lean 15 declarations
- ProjectiveTwistAcyclicity.lean 6 declarations
- ProjectiveTwistCech.lean 5 declarations
- ReesCechInjectivity.lean 2 declarations
- ReesCechRecovery.lean 1 declarations
- ReesCohomologySetup.lean 2 declarations
- ReesSheafCechBase.lean 19 declarations
- ReesSheafCechNaturality.lean 6 declarations
- ReesSheafCechRecovery.lean 18 declarations
- SerreVanishing.lean 2 declarations
- TupleCechBound.lean 11 declarations