OAI/Dynamics/StandardMap/ArrayGrid.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.dyadic_zsmul_val line 11
2. lemma OAI.StandardMapEntropy.dyadic_mid_grid line 13
3. lemma OAI.StandardMapEntropy.int_constant_of_succ line 17
4. lemma OAI.StandardMapEntropy.array_grid_edges line 22
5. lemma OAI.StandardMapEntropy.array_grid_upper line 36
6. lemma OAI.StandardMapEntropy.array_grid_power line 48
7. lemma OAI.StandardMapEntropy.nat_le_two_power line 69
8. lemma OAI.StandardMapEntropy.array_grid_distance_nat line 76
9. lemma OAI.StandardMapEntropy.array_grid_distance line 95