Commit 2025-11-14 10:06 629ca6eb
View on Github →feat(MeasureTheory/Measure): comap_apply version for measurable equivs (#31398)
This one is stated in terms of the preimage of the inverse, which is sometimes (but not always!) more useful than the image of the forward map.