OAI/Probability/LatticeSurface/Dynamics/TiltConsequences.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SmallTilts.event_bound line 14
2. lemma OAI.SmallTilts.parameter_transfer line 24
3. lemma OAI.SmallTilts.small_multiple_bound line 36
4. lemma OAI.SmallTilts.power_le_exponential line 44
5. lemma OAI.SmallTilts.exponential_moment_power line 52
6. lemma OAI.SmallTilts.tilted_moment_bound line 64