Theorem MeasurableEquiv.piCongrLeft_eq

Modification history

2023-10-19 11:58
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
feat: some measure preserving equivalences on pi-types (#7751) …
Deleted MeasurableEquiv.piCongrLeft_eqView on Github →
2023-10-16 14:39
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
feat: lemmas for MeasurableSpace.Basic (#7682) …
Added MeasurableEquiv.piCongrLeft_eqView on Github →