OAI/Geometry/PeriodicTiling/TilingTranslation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PeriodicTilingThree.Tiles.translate_tile line 12
2. theorem OAI.PeriodicTilingThree.tiles_translate_tile_iff line 34
3. theorem OAI.PeriodicTilingThree.exists_zero_mem_normalization line 43