OAI/Dynamics/StandardMap/CriticalLaws.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.meanDeficit_ratio line 11
2. lemma OAI.StandardMapEntropy.dyadic_aligned_deficit_bound line 17
3. def OAI.StandardMapEntropy.CriticalScaleSequence.initialLaw line 40
4. def OAI.StandardMapEntropy.CriticalScaleSequence.terminalLaw line 42
5. def OAI.StandardMapEntropy.CriticalScaleSequence.multiLaw line 44
6. instance OAI.StandardMapEntropy.CriticalScaleSequence.initialLaw_finite line 47
7. instance OAI.StandardMapEntropy.CriticalScaleSequence.terminalLaw_finite line 48
8. instance OAI.StandardMapEntropy.CriticalScaleSequence.multiLaw_finite line 49
9. lemma OAI.StandardMapEntropy.CriticalScaleSequence.lowerExponent_tendsto line 50
10. lemma OAI.StandardMapEntropy.CriticalScaleSequence.exponent_tendsto line 55
11. lemma OAI.StandardMapEntropy.CriticalScaleSequence.multiLaw_test_bound line 56
12. lemma OAI.StandardMapEntropy.CriticalScaleSequence.singleLaw_test_bound line 81
13. lemma OAI.StandardMapEntropy.CriticalScaleSequence.terminalLaw_test_bound line 94
14. lemma OAI.StandardMapEntropy.CriticalScaleSequence.initialLaw_test_tendsto line 112