Theorem ENNReal.ofReal_toReal_eq_iff

Modification history

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