Theorem MeasurableEquiv.map_symm

Modification history

2023-10-05 10:24

Mathlib/MeasureTheory/Measure/MeasureSpace.lean

feat: add simple lemmas about MeasurableEquiv (#7509)

Added MeasurableEquiv.map_symm View on Github →