OAI/Dynamics/StandardMap/GridAtomBound.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.atom_lift_lintegral line 11
2. lemma OAI.StandardMapEntropy.grid_atom_lintegral line 21
3. lemma OAI.StandardMapEntropy.integrable_transfer_norm line 47
4. lemma OAI.StandardMapEntropy.integrable_transfer_log line 49
5. lemma OAI.StandardMapEntropy.grid_atom_integral line 52
6. lemma OAI.StandardMapEntropy.grid_block_entropy_growth line 70