OAI/Algebra/FormalGroup/Honda/
491 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- ArtinianRigidity.lean 1 declarations
- Canonical.lean 4 declarations
- ChainRule.lean 6 declarations
- Classification.lean 12 declarations
- Cocycle.lean 39 declarations
- Coordinates.lean 25 declarations
- Correction.lean 11 declarations
- Differential.lean 5 declarations
- Evaluation.lean 15 declarations
- Frobenius.lean 9 declarations
- HeightTransport.lean 11 declarations
- HeightTwo.lean 18 declarations
- HondaDifferential.lean 10 declarations
- IntegralLaw.lean 15 declarations
- Jets.lean 31 declarations
- Leading.lean 23 declarations
- Logarithm.lean 27 declarations
- Main.lean 1 declarations
- NilpotentTower.lean 15 declarations
- PTypical.lean 42 declarations
- Recurrence.lean 18 declarations
- Rigidity.lean 15 declarations
- SmallExtension.lean 22 declarations
- SpecialFiber.lean 16 declarations
- Tangent.lean 15 declarations
- Target.lean 8 declarations
- Transport.lean 42 declarations
- UniversalTransport.lean 15 declarations
- Universality.lean 20 declarations