OAI/Geometry/TranslativeCovering/LocalizationWindow.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.LocalizationWindow.periodic_integral_translate line 14
2. lemma OAI.LocalizationWindow.periodic_average_translate line 29
3. lemma OAI.LocalizationWindow.overlapping_windows line 36
4. lemma OAI.LocalizationWindow.slide line 50
5. lemma OAI.LocalizationWindow.finite_occurrences line 89