OAI/Geometry/PeriodicTiling/GridRigidity.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PeriodicTilingThree.grid_difference_of_cube_chain line 16
2. theorem OAI.PeriodicTilingThree.grid_coset_of_auxiliary_cover line 33
3. theorem OAI.PeriodicTilingThree.periodic_voxel_assembly_grid line 68
4. theorem OAI.PeriodicTilingThree.periodic_voxel_assembly_grid_range line 122