OAI/Geometry/PolarProducts/
1017 declarations, 0 contain sorry, 0 declared as axioms; 46 files
Files
- CanonicalCoordinates.lean 23 declarations
- CanonicalCylinder.lean 7 declarations
- CompleteFlow.lean 14 declarations
- Contraction.lean 5 declarations
- EmbeddingInverse.lean 20 declarations
- ExteriorHamiltonian.lean 41 declarations
- FiniteDescent.lean 18 declarations
- FourierIntegrals.lean 16 declarations
- FourierPaths.lean 30 declarations
- GalerkinBounds.lean 36 declarations
- GradientLinking.lean 18 declarations
- HamiltonianGrowth.lean 14 declarations
- HamiltonianODE.lean 17 declarations
- HolomorphicBalls.lean 17 declarations
- HorizontalIntegrals.lean 28 declarations
- LensArea.lean 50 declarations
- LensBounds.lean 15 declarations
- LensEstimates.lean 23 declarations
- LensMap.lean 41 declarations
- LocalODE.lean 34 declarations
- LogProfile.lean 22 declarations
- LowerBound.lean 2 declarations
- Main.lean 1 declarations
- Model.lean 9 declarations
- MomentumBounds.lean 19 declarations
- MoserField.lean 26 declarations
- MoserFlow.lean 8 declarations
- Nonsqueezing.lean 8 declarations
- PeriodicFourier.lean 26 declarations
- PeriodicSolutions.lean 21 declarations
- PlanarSquare.lean 36 declarations
- PolarApproximation.lean 15 declarations
- PotentialDeformation.lean 20 declarations
- PotentialForms.lean 37 declarations
- QuadraticAction.lean 39 declarations
- RadialMap.lean 39 declarations
- RegularizedMaximum.lean 25 declarations
- SmoothDegree.lean 39 declarations
- SmoothFlow.lean 7 declarations
- SmoothPaths.lean 10 declarations
- SmoothProfiles.lean 39 declarations
- StripEmbedding.lean 21 declarations
- StripMaps.lean 36 declarations
- TensorCalculus.lean 23 declarations
- TipEstimates.lean 19 declarations
- UpperBound.lean 3 declarations