OAI/Dynamics/StandardMap/LimitCancellation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.CriticalScaleSequence.inverse_scale_epsilon_bound line 13
2. lemma OAI.StandardMapEntropy.CriticalScaleSequence.cancellation_integral_tendsto line 23
3. lemma OAI.StandardMapEntropy.CriticalScaleSequence.cancellation_vague_tendsto line 51
4. lemma OAI.StandardMapEntropy.CriticalScaleSequence.cancellation_null_multi line 74
5. lemma OAI.StandardMapEntropy.CriticalScaleSequence.cancellation_null_terminal line 81