OAI/Dynamics/StandardMap/WeightSlow.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StandardMapEntropy.slowCapOpen line 11
2. lemma OAI.StandardMapEntropy.isOpen_slowCapOpen line 13
3. lemma OAI.StandardMapEntropy.capG_zero_slowOpen line 15
4. lemma OAI.StandardMapEntropy.affine_shortfall line 23
5. lemma OAI.StandardMapEntropy.affine_mem_slowOpen line 27
6. lemma OAI.StandardMapEntropy.CompactWeightLimit.open_null line 34
7. lemma OAI.StandardMapEntropy.CompactWeightLimit.slow_null line 41