OAI/Dynamics/StandardMap/LimitBalance.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.scaleLaw_one line 11
2. lemma OAI.StandardMapEntropy.CriticalScaleSequence.law_dilation_balance line 16
3. lemma OAI.StandardMapEntropy.CriticalScaleSequence.integral_law_dilation_balance line 23
4. lemma OAI.StandardMapEntropy.CriticalScaleSequence.integral_dilation_balance line 33
5. instance OAI.StandardMapEntropy.CriticalScaleSequence.multi_dilate_local line 40
6. instance OAI.StandardMapEntropy.CriticalScaleSequence.multi_terminal_local line 44
7. lemma OAI.StandardMapEntropy.CriticalScaleSequence.dilation_balance line 48