Theorem MeasurableEquiv.map_apply_eq_iff_map_symm_apply_eq
Modification history
2025-02-27 10:04
Mathlib/MeasureTheory/Measure/Map.lean
feat: add lemmas about kernels (#22200)
Modified MeasurableEquiv.map_apply_eq_iff_map_symm_apply_eqView on Github →