OAI/Dynamics/StandardMap/Towers/
76 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- FiniteCouplingRealization.lean 34 declarations
- PhaseAveraging.lean 24 declarations
- ScaledFiniteCoupling.lean 18 declarations