OAI/Geometry/Symplectic/MorseBounds/
576 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- Ambient.lean 28 declarations
- Augmentation.lean 8 declarations
- CapEnd.lean 16 declarations
- CapForm.lean 20 declarations
- CapGluing.lean 17 declarations
- CapHamiltonian.lean 10 declarations
- CapProduct.lean 32 declarations
- CapTransfer.lean 16 declarations
- Composition.lean 5 declarations
- Conjugacy.lean 6 declarations
- Cotangent.lean 28 declarations
- CotangentFlow.lean 7 declarations
- Dynamics.lean 12 declarations
- FlowLinearization.lean 7 declarations
- GroupGap.lean 6 declarations
- LocalCorrection.lean 17 declarations
- Main.lean 4 imports, no declarations
- ManifoldFlow.lean 21 declarations
- ManifoldModel.lean 26 declarations
- Periodization.lean 22 declarations
- ProductForm.lean 19 declarations
- ProductLocal.lean 49 declarations
- RelativeModel.lean 10 declarations
- SmoothODE.lean 37 declarations
- SphereCaps.lean 61 declarations
- SphereForm.lean 28 declarations
- SphereHamiltonian.lean 10 declarations
- SphereSmooth.lean 43 declarations
- Symplectic.lean 5 declarations
- SymplecticFlow.lean 10 declarations