OAI/Geometry/PeriodicTiling/LowerDimensions.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PeriodicTilingThree.lattice_two_tile_has_fullyPeriodic_complement line 10
2. theorem OAI.PeriodicTilingThree.tiles_below_three_have_fullyPeriodic_complements line 23