OAI/Geometry/PeriodicTiling/SeparatedCenters.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PeriodicTilingThree.RigidDifferences line 19
2. theorem OAI.PeriodicTilingThree.TypedAETiles.aedisjoint line 23
3. theorem OAI.PeriodicTilingThree.AETiles.aedisjoint line 32
4. theorem OAI.PeriodicTilingThree.common_unitVoxel_subset_piece line 40
5. theorem OAI.PeriodicTilingThree.typed_nearby_centers_mem_scaledGrid line 54
6. theorem OAI.PeriodicTilingThree.scaledGrid_eq_zero_of_norm_lt line 89
7. theorem OAI.PeriodicTilingThree.typed_centers_separated line 108