`OAI/Dynamics/StandardMap/Holonomy/`

129 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

CompactHolonomy.lean 10 declarations
ConeIntervalDistortion.lean 17 declarations
DerivativeQuantitative.lean 28 declarations
FinePlaqueParameters.lean 17 declarations
FineStableGeometry.lean 31 declarations
FiniteOrbitDecay.lean 26 declarations