OAI/Geometry/PeriodicTiling/QuotientTiling.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PeriodicTilingThree.tiles_preimage_of_section line 13
2. theorem OAI.PeriodicTilingThree.tiles_image_of_kernel_periods line 39