OAI/Algebra/AlgebraicObstruction/
641 declarations, 0 contain sorry, 0 declared as axioms; 40 files
Files
- AdicFunctor.lean 16 declarations
- AlgebraicData.lean 7 declarations
- AlgebraicGerms.lean 23 declarations
- AlgebraicInput.lean 5 declarations
- AnalyticReducedness.lean 23 declarations
- ArcDetection.lean 14 declarations
- ChartCompletion.lean 16 declarations
- ChartTruncation.lean 19 declarations
- CoefficientData.lean 43 declarations
- CorrectionOperator.lean 11 declarations
- Differentiation.lean 9 declarations
- EtaleCharts.lean 25 declarations
- EtaleCoefficients.lean 17 declarations
- FiniteCoefficients.lean 25 declarations
- FlatDescent.lean 5 declarations
- FormalArcs.lean 10 declarations
- GraphCorrection.lean 23 declarations
- Holonomy.lean 6 declarations
- IdealBounds.lean 7 declarations
- IdealVanishing.lean 9 declarations
- ImplicitFunction.lean 9 declarations
- LocalOrigin.lean 7 declarations
- PositiveCoefficients.lean 11 declarations
- PotentialReplacement.lean 12 declarations
- QuadraticData.lean 12 declarations
- RadicalPrimitives.lean 12 declarations
- ScalarCompletion.lean 9 declarations
- SemilocalCompletion.lean 35 declarations
- SeriesJets.lean 36 declarations
- Specialization.lean 5 declarations
- SymbolicPowers.lean 7 declarations
- TaylorCoefficients.lean 32 declarations
- TaylorCompletion.lean 26 declarations
- TaylorDescent.lean 14 declarations
- TaylorDifferential.lean 10 declarations
- TaylorEvaluation.lean 15 declarations
- TaylorRemainder.lean 36 declarations
- TaylorShift.lean 14 declarations
- TaylorTarget.lean 14 declarations
- WitnessDescent.lean 12 declarations