Theorem MeasureTheory.QuasiMeasurePreserving.birkhoffAverage_ae_eq_of_ae_eq

Modification history

2026-10-04 13:42
Mathlib/Dynamics/BirkhoffSum/QuasiMeasurePreserving.lean
chore: move `QuasiMeasurePreserving` to the namespace of `MeasurePreserving` (#44142) …
Added MeasureTheory.QuasiMeasurePreserving.birkhoffAverage_ae_eq_of_ae_eqView on Github →