OAI/Dynamics/StandardMap/CappedTests.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.dyadicMid_zero_two line 11
2. def OAI.StandardMapEntropy.capG line 13
3. def OAI.StandardMapEntropy.coreTestIndex line 16
4. lemma OAI.StandardMapEntropy.continuous_capG line 17
5. lemma OAI.StandardMapEntropy.shortfall_ambient_mem line 22
6. lemma OAI.StandardMapEntropy.capG_bound line 31
7. lemma OAI.StandardMapEntropy.capG_affine line 42
8. lemma OAI.StandardMapEntropy.capG_slow line 49
9. lemma OAI.StandardMapEntropy.CriticalScaleSequence.capG_integrable_multi line 63
10. lemma OAI.StandardMapEntropy.CriticalScaleSequence.capG_integrable_remainder line 68
11. lemma OAI.StandardMapEntropy.CriticalScaleSequence.capG_integrable_sum line 70
12. lemma OAI.StandardMapEntropy.CriticalScaleSequence.capG_integral_decomposition line 72
13. lemma OAI.StandardMapEntropy.CriticalScaleSequence.capG_backward_absolutely_summable line 80