OAI/Dynamics/StandardMap/BandComparison.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.zoom_nat_one line 11
2. lemma OAI.StandardMapEntropy.zoom_neg_one_le line 14
3. lemma OAI.StandardMapEntropy.bandMoment_fine line 18
4. lemma OAI.StandardMapEntropy.bandMoment_coarse line 23
5. lemma OAI.StandardMapEntropy.bandMoment_order line 39