OAI/Dynamics/StandardMap/RealBridge.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StandardMapEntropy.SlowPair line 11
2. lemma OAI.StandardMapEntropy.interval_window_of_near line 13
3. lemma OAI.StandardMapEntropy.dyadicBridge_real_sorted line 21
4. lemma OAI.StandardMapEntropy.dyadicBridge_real_slowPair line 73
5. lemma OAI.StandardMapEntropy.CriticalScaleSequence.slowPair_aemulti line 84
6. lemma OAI.StandardMapEntropy.CriticalScaleSequence.slowPair_aeterminal line 87