OAI/Dynamics/StandardMap/HalfDecomposition.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.sub_add_cancel_sigma line 11
2. lemma OAI.StandardMapEntropy.map_iterate_succ line 20
3. lemma OAI.StandardMapEntropy.map_iterate_succ' line 25
4. lemma OAI.StandardMapEntropy.renewal_partial line 29
5. lemma OAI.StandardMapEntropy.renewal_sum_le line 41
6. lemma OAI.StandardMapEntropy.renewal_sum_balance line 52
7. lemma OAI.StandardMapEntropy.renewal_remainder_invariant line 60