OAI/Dynamics/StandardMap/WeightBalance.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.affine_cap_cover line 11
2. lemma OAI.StandardMapEntropy.CriticalScaleSequence.weight_affine_null line 23
3. lemma OAI.StandardMapEntropy.CriticalScaleSequence.cap_dominated_tendsto line 33
4. lemma OAI.StandardMapEntropy.CriticalScaleSequence.capG_limit_balance line 46