Theorem measurable_piCongrLeft

Modification history

2023-10-16 14:39
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
feat: lemmas for MeasurableSpace.Basic (#7682) …
Added measurable_piCongrLeftView on Github →