OAI/Dynamics/StandardMap/TruncationArrays.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StandardMapEntropy.unitDefect line 11
2. lemma OAI.StandardMapEntropy.continuous_unitDefect line 13
3. def OAI.StandardMapEntropy.cutLeft line 15
4. def OAI.StandardMapEntropy.cutRight line 16
5. lemma OAI.StandardMapEntropy.cutLeft_val line 17
6. lemma OAI.StandardMapEntropy.cutRight_val line 18
7. lemma OAI.StandardMapEntropy.cut_order line 19
8. lemma OAI.StandardMapEntropy.cut_mid line 23
9. lemma OAI.StandardMapEntropy.sample_eval_int line 26
10. lemma OAI.StandardMapEntropy.truncation_array_bound line 29