Def Homemorph.toMeasurableEquiv
Modification history
2025-06-06 08:08
Mathlib/MeasureTheory/Constructions/BorelSpace/Order.lean
feat(MeasureTheory): Pullback of measure preserve properties (#25176) …
Deleted Homemorph.toMeasurableEquivView on Github →