Theorem exists_measurable_piecewise_nat

Modification history

2024-06-28 09:13
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
chore(*): remove some deprecated theorems (#14214)
Deleted exists_measurable_piecewise_natView on Github →
2023-02-11 07:44
Mathlib/MeasureTheory/MeasurableSpace.lean
feat: port MeasureTheory.MeasurableSpace (#2174)
Added exists_measurable_piecewise_natView on Github →