OAI/Geometry/PeriodicTiling/DirectionalSlices.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PeriodicTilingThree.forwardDiff_slice line 15
2. theorem OAI.PeriodicTilingThree.forwardDiff_iterate_slice line 22
3. theorem OAI.PeriodicTilingThree.circle_sum_of_indicator_decomposition line 32
4. theorem OAI.PeriodicTilingThree.directional_circle_slice_polynomial line 47
5. theorem OAI.PeriodicTilingThree.directional_slice_pair_bound line 100