OAI/AlgebraicGeometry/NumericalDimension/
1264 declarations, 0 contain sorry, 0 declared as axioms; 51 files
Files
- AffineCurves.lean 13 declarations
- AmpleAbsorption.lean 29 declarations
- AmpleGeneration.lean 14 declarations
- BirationalExtension.lean 23 declarations
- BoundaryDiscrepancies.lean 14 declarations
- CanonicalChains.lean 23 declarations
- CanonicalExistence.lean 27 declarations
- CanonicalForms.lean 62 declarations
- CanonicalPullbacks.lean 29 declarations
- CartierIntersection.lean 37 declarations
- CompleteIntersections.lean 19 declarations
- CurveCoordinates.lean 36 declarations
- CurveDegrees.lean 29 declarations
- CurveOrders.lean 32 declarations
- CurveProjection.lean 19 declarations
- DifferentialBaseChange.lean 18 declarations
- DifferentialDivisibility.lean 3 declarations
- DivisorPresheaves.lean 36 declarations
- ExceptionalFibers.lean 21 declarations
- FactorialDivisors.lean 20 declarations
- FiniteCurveMaps.lean 20 declarations
- FixedDivisors.lean 35 declarations
- GenericMembers.lean 31 declarations
- HyperplaneDimension.lean 22 declarations
- IncidenceSmoothness.lean 31 declarations
- IndexedTransfer.lean 28 declarations
- IntersectionLengths.lean 25 declarations
- KltMembers.lean 20 declarations
- LocalKltMembers.lean 15 declarations
- MultiplierDescent.lean 16 declarations
- MultiplierIdeals.lean 11 declarations
- MultiplierSheaves.lean 37 declarations
- NormalCrossings.lean 12 declarations
- NormalDivisors.lean 40 declarations
- NormalizationRings.lean 23 declarations
- NormalizationStalks.lean 23 declarations
- OpenSections.lean 17 declarations
- PolynomialCharts.lean 41 declarations
- PrimeSpecialization.lean 33 declarations
- ProjectiveCoordinates.lean 18 declarations
- ProjectiveCurves.lean 35 declarations
- RationalDegrees.lean 26 declarations
- RationalPullbacks.lean 38 declarations
- RelativeAmpleness.lean 26 declarations
- RelativeNegativity.lean 9 declarations
- SectionCoordinates.lean 30 declarations
- SmoothParameters.lean 19 declarations
- SurfaceIntersection.lean 31 declarations
- SurfaceSquare.lean 18 declarations
- TerminalModels.lean 10 declarations
- TwistedPushforward.lean 20 declarations