OAI/Dynamics/StandardMap/CurveOneStep.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.StandardMapEntropy.CurveStepBranch line 11
2. lemma OAI.StandardMapEntropy.curveStepBranch_card line 12
3. lemma OAI.StandardMapEntropy.liftCurve_total_displacement line 14
4. lemma OAI.StandardMapEntropy.curve_one_step_cover line 25