Theorem measurable_to_bool

Modification history

2023-04-27 21:26
Mathlib/MeasureTheory/MeasurableSpace.lean
chore: forward port leanprover-community/mathlib#18864 (#3687) …
Added measurable_to_boolView on Github →