OAI/Dynamics/StandardMap/CappedPrelimit.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.single_shortfall_max_integral line 11
2. lemma OAI.StandardMapEntropy.CriticalScaleSequence.initial_cap_tendsto line 32
3. lemma OAI.StandardMapEntropy.CriticalScaleSequence.multiLaw_translate_one line 46
4. lemma OAI.StandardMapEntropy.CriticalScaleSequence.integral_F_dilation_balance line 49
5. lemma OAI.StandardMapEntropy.CriticalScaleSequence.capG_prelimit_balance line 56
6. lemma OAI.StandardMapEntropy.CriticalScaleSequence.capG_prelimit_tendsto line 70