Theorem ENat.measurable_iff

Modification history

2025-04-03 10:57
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
chore: split `MeasureTheory.MeasurableSpace.Basic` (#23523) …
Modified ENat.measurable_iffView on Github →
2024-09-03 17:59
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
feat(MeasurableSpace): `Set.ncard` is measurable (#16205)
Added ENat.measurable_iffView on Github →