OAI/AlgebraicGeometry/CartierSections/
219 declarations, 0 contain sorry, 0 declared as axioms; 22 files
Files
- ChartCompactness.lean 2 declarations
- ChartCompletion.lean 14 declarations
- ChartRetraction.lean 7 declarations
- ClosedCharts.lean 7 declarations
- ConeTopology.lean 14 declarations
- EtaleDerivatives.lean 9 declarations
- EulerOperators.lean 16 declarations
- ExpansionValuation.lean 7 declarations
- FieldRetraction.lean 2 declarations
- FieldTopology.lean 7 declarations
- FormalValuation.lean 20 declarations
- FractionValuation.lean 12 declarations
- InfinitesimalCharts.lean 10 declarations
- InitialExponents.lean 25 declarations
- IsolatedJets.lean 8 declarations
- LocalMultiplier.lean 10 declarations
- PolynomialValuation.lean 18 declarations
- RegularJets.lean 11 declarations
- RetractionBounds.lean 2 declarations
- ValuationBounds.lean 7 declarations
- WeightIdeals.lean 4 declarations
- Weights.lean 7 declarations