Theorem ENNReal.toReal_ofReal_eq_iff

Modification history

2023-04-01 16:28
Mathlib/Data/Real/ENNReal.lean
chore: Miscellaneous lemmas (#3213) …
Added ENNReal.toReal_ofReal_eq_iffView on Github →