OAI/Dynamics/StandardMap/CriticalLimits.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.vague_zero_of_tests line 11
2. lemma OAI.StandardMapEntropy.CriticalScaleSequence.initial_vague_zero line 23
3. structure OAI.StandardMapEntropy.CriticalScaleSequence.LimitLaws line 27
4. lemma OAI.StandardMapEntropy.CriticalScaleSequence.exists_limitLaws line 40