Structure MeasureTheory.QuasiMeasurePreserving

Modification history

2026-10-04 13:42

Mathlib/MeasureTheory/Measure/QuasiMeasurePreserving.lean

chore: move `QuasiMeasurePreserving` to the namespace of `MeasurePreserving` (#44142) …

Added MeasureTheory.QuasiMeasurePreserving View on Github →