Theorem measurable_update'

Modification history

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