Theorem ENat.measurable_iff

Modification history

2024-09-03 17:59
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
feat(MeasurableSpace): `Set.ncard` is measurable (#16205)
Added ENat.measurable_iffView on Github →