OAI/Geometry/PeriodicTiling/FiniteCylinder.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PeriodicTilingThree.FiniteCylinder.wrap line 12
2. theorem OAI.PeriodicTilingThree.FiniteCylinder.wrap_bounds line 14
3. theorem OAI.PeriodicTilingThree.FiniteCylinder.wrap_eq_self line 21
4. theorem OAI.PeriodicTilingThree.FiniteCylinder.wrap_add_period line 27
5. theorem OAI.PeriodicTilingThree.FiniteCylinder.wrap_dvd line 32
6. theorem OAI.PeriodicTilingThree.FiniteCylinder.wrap_shift line 38
7. theorem OAI.PeriodicTilingThree.FiniteCylinder.window_at_wrap line 46
8. theorem OAI.PeriodicTilingThree.FiniteCylinder.exists_periodic_windows line 73