OAI/Geometry/PeriodicTiling/CenterFiniteness.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PeriodicTilingThree.centerBoxIndex line 15
2. theorem OAI.PeriodicTilingThree.norm_sub_lt_of_centerBoxIndex_eq line 18
3. theorem OAI.PeriodicTilingThree.centerBoxIndex_injOn line 37
4. theorem OAI.PeriodicTilingThree.centers_countable line 44
5. theorem OAI.PeriodicTilingThree.centerBoxIndex_image_finite line 49
6. theorem OAI.PeriodicTilingThree.centers_finite_on_bounded line 70