OAI/Dynamics/StandardMap/GridWordIntegrals.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.product_slice_bound_reverse line 11
2. lemma OAI.StandardMapEntropy.fiber_indicator_bound line 24
3. lemma OAI.StandardMapEntropy.grid_word_wrapped line 34
4. lemma OAI.StandardMapEntropy.grid_word_initial line 42
5. lemma OAI.StandardMapEntropy.grid_word_columns_integral line 54
6. lemma OAI.StandardMapEntropy.grid_word_transfer_integral line 105