OAI/AlgebraicGeometry/Seshadri/LocalAlgebra/
50 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- ArtinianLength.lean 1 declarations
- ClosedColength.lean 3 declarations
- ClosedStalk.lean 2 declarations
- CurveOrderExact.lean 2 declarations
- ExactPointOrder.lean 4 declarations
- FiniteStalkSum.lean 2 declarations
- IdealContractionMembership.lean 2 declarations
- IdealEquation.lean 1 declarations
- IntegralCurveIdeal.lean 3 declarations
- LinearRadical.lean 1 declarations
- LocalBinaryPrime.lean 2 declarations
- LocalContainment.lean 1 declarations
- LocalCurvePrincipal.lean 1 declarations
- LocalDimension.lean 3 declarations
- PointIdealGenerators.lean 1 declarations
- PointIdealMembership.lean 4 declarations
- PowerIdeal.lean 8 declarations
- SmoothCurvePrincipal.lean 3 declarations
- TwistedIdealPower.lean 6 declarations