Theorem measurableAtom_subset_of_mem

Modification history

2025-08-07 07:24
Mathlib/MeasureTheory/MeasurableSpace/Constructions.lean
feat: in a countable measurable space, every measure is s-finite (#27583) …
Added measurableAtom_subset_of_memView on Github →