OAI/Dynamics/StandardMap/ScaleEvaluation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StandardMapEntropy.dyadicZoom line 11
2. lemma OAI.StandardMapEntropy.dyadicZoom_val line 14
3. lemma OAI.StandardMapEntropy.dyadicZoom_zero line 20
4. lemma OAI.StandardMapEntropy.dyadicZoom_add line 21
5. lemma OAI.StandardMapEntropy.dyadicZoom_succ line 23
6. lemma OAI.StandardMapEntropy.dyadicZoom_pred line 25
7. lemma OAI.StandardMapEntropy.dyadicZoom_two line 27
8. lemma OAI.StandardMapEntropy.scaleZ_eval line 29
9. lemma OAI.StandardMapEntropy.scaleZ_shortfall line 44
10. lemma OAI.StandardMapEntropy.scaleZ_capG line 48