Theorem IsFoelner.tendsto_meas_smul_symmDiff_smul

Modification history

2026-01-13 15:36
Mathlib/MeasureTheory/Group/FoelnerFilter.lean
feat(MeasureTheory): Foelner filters (#31653) …
Added IsFoelner.tendsto_meas_smul_symmDiff_smulView on Github →