OAI/AlgebraicGeometry/Seshadri/Blowup/
362 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- BlowupAffineSections.lean 5 declarations
- BlowupEffectiveBound.lean 1 declarations
- BlowupForbiddenSection.lean 1 declarations
- BlowupHartogsCharts.lean 2 declarations
- BlowupIntegral.lean 25 declarations
- BlowupIntersection.lean 3 declarations
- BlowupIntersectionGrowth.lean 3 declarations
- BlowupLineDescent.lean 3 declarations
- BlowupProper.lean 2 declarations
- BlowupSectionDescent.lean 3 declarations
- BlowupSectionDimensions.lean 3 declarations
- BoundaryNef.lean 1 declarations
- EventualExceptionalAmple.lean 2 declarations
- ExceptionalIdeal.lean 14 declarations
- FiniteCenters.lean 28 declarations
- Gluing.lean 33 declarations
- HartogsPrincipal.lean 4 declarations
- HartogsScheme.lean 5 declarations
- LocalEquations.lean 18 declarations
- LocalUniversal.lean 20 declarations
- NefPerturbation.lean 1 declarations
- OrderContraction.lean 21 declarations
- PlaneCharts.lean 28 declarations
- PointBlowupExistence.lean 3 declarations
- PointSmoothness.lean 7 declarations
- PowerContraction.lean 6 declarations
- PrincipalCharts.lean 23 declarations
- ReesAlgebra.lean 38 declarations
- ReesCharts.lean 17 declarations
- ReesSections.lean 4 declarations
- RelativeReesSections.lean 3 declarations
- SchemeHartogs.lean 14 declarations
- UnequalNefNumerics.lean 3 declarations
- Uniqueness.lean 18 declarations