Theorem measurable_encard

Modification history

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