Theorem ENNReal.toReal_enatCard

Modification history

2026-07-09 14:40
Mathlib/SetTheory/Cardinal/ENNReal.lean
feat(MeasureTheory): mass of `count.real` (#40367) …
Added ENNReal.toReal_enatCardView on Github →