OAI/Probability/LatticeSurface/Dynamics/Tilt.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SmallTilts.density line 16
2. def OAI.SmallTilts.tilted line 19
3. lemma OAI.SmallTilts.measurable_density line 31
4. theorem OAI.SmallTilts.small_linear_tilt line 35