Theorem bergelson

Modification history

2024-07-06 08:39
Mathlib/MeasureTheory/Function/Intersectivity.lean
feat: Bergelson's Intersectivity Lemma (#11143) …
Added bergelsonView on Github →