`OAI/Dynamics/StandardMap/Components/`

153 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

BirkhoffAtoms.lean 40 declarations
BoundedBirkhoff.lean 27 declarations
CurvedHolonomy.lean 34 declarations
Definitions.lean 4 declarations
FineChartGraph.lean 19 declarations
PowerAtomCycles.lean 14 declarations
SliceRectangleNonsingular.lean 15 declarations