OAI/Dynamics/StandardMap/CurveLift.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StandardMapEntropy.pairTransfer line 11
2. lemma OAI.StandardMapEntropy.pairTransfer_bound line 12
3. lemma OAI.StandardMapEntropy.pairTransfer_add line 27
4. lemma OAI.StandardMapEntropy.pairTransfer_sub line 29
5. lemma OAI.StandardMapEntropy.pairTransfer_parameter line 31
6. def OAI.StandardMapEntropy.liftCurveVelocity line 36
7. lemma OAI.StandardMapEntropy.liftCurve_hasDeriv line 38
8. lemma OAI.StandardMapEntropy.liftCurve_velocity_continuous line 44
9. lemma OAI.StandardMapEntropy.liftCurve_variation line 48