Theorem bergelson'

Modification history

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