Theorem measurable_update_left

Modification history

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