Theorem ENNReal.toNNReal_zero

Modification history

2025-03-20 20:33
Mathlib/Data/ENNReal/Basic.lean
chore(ENNReal): fix names (#23135) …
Added ENNReal.toNNReal_zeroView on Github →