Theorem MeasurableEquiv.comap_apply

Modification history

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