Theorem measurable_to_countable'

Modification history

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