OAI/AlgebraicGeometry/Seshadri/Divisors/
152 declarations, 0 contain sorry, 0 declared as axioms; 28 files
Files
- AffineSectionQuotient.lean 6 declarations
- BaseSections.lean 15 declarations
- CartierResidual.lean 3 declarations
- CartierSection.lean 5 declarations
- CartierSequence.lean 2 declarations
- CenteredSections.lean 15 declarations
- CoprimeDivisor.lean 1 declarations
- IdealSectionLifting.lean 4 declarations
- IntegralCurveCartier.lean 3 declarations
- IntegralSectionIdeal.lean 1 declarations
- LinearSections.lean 8 declarations
- MaximalCartier.lean 2 declarations
- MaximalCartierIso.lean 1 declarations
- MixedSectionOpen.lean 1 declarations
- MixedSections.lean 12 declarations
- OpenSectionsLinear.lean 6 declarations
- PolynomialSections.lean 5 declarations
- PrincipalSectionIdeal.lean 6 declarations
- SectionChart.lean 8 declarations
- SectionCoefficientOrder.lean 9 declarations
- SectionCokernel.lean 4 declarations
- SectionComponent.lean 5 declarations
- SectionCurveBound.lean 5 declarations
- SectionGermSystem.lean 6 declarations
- SectionIdeal.lean 5 declarations
- SectionMono.lean 2 declarations
- SectionNaturality.lean 4 declarations
- SectionTransport.lean 8 declarations