OAI/Geometry/NilpotentCharts/
412 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- Adjoint.lean 20 declarations
- AdjointPolynomials.lean 25 declarations
- AxesDerivatives.lean 25 declarations
- CentralAxes.lean 27 declarations
- CentralSubspaces.lean 10 declarations
- CentralWords.lean 20 declarations
- CompactGroups.lean 11 declarations
- Coordinates.lean 12 declarations
- Exponential.lean 15 declarations
- FilteredBasis.lean 18 declarations
- Filtrations.lean 22 declarations
- Flows.lean 61 declarations
- GlobalAxes.lean 6 declarations
- LatticeAxes.lean 12 declarations
- LatticeQuotients.lean 6 declarations
- LinearLattices.lean 13 declarations
- Main.lean 1 import, no declarations
- Polynomials.lean 35 declarations
- QuotientCharts.lean 17 declarations
- QuotientLie.lean 14 declarations
- QuotientTopology.lean 10 declarations
- RationalCoordinates.lean 7 declarations
- SmoothCalculus.lean 11 declarations
- SubspaceQuotients.lean 8 declarations
- TriangularBasis.lean 7 declarations