OAI/Dynamics/StandardMap/CurveIntegral.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.curveInterval_lintegral_speed line 11
2. lemma OAI.StandardMapEntropy.curve_cover_lintegral_speed line 34
3. lemma OAI.StandardMapEntropy.controlled_curve_speed_from_map line 46
4. lemma OAI.StandardMapEntropy.curve_iterate_lintegral line 54