Theorem MeasureTheory.Measure.map_eq_comap

Modification history

2025-11-14 10:06
Mathlib/MeasureTheory/Measure/Restrict.lean
feat(MeasureTheory/Measure): `comap_apply` version for measurable equivs (#31398) …
Added MeasureTheory.Measure.map_eq_comapView on Github →