Theorem ENNReal.eq_of_forall_le_nnreal_iff

Modification history

2025-10-28 13:23
Mathlib/Data/ENNReal/Inv.lean
feat(ENNReal): equality from comparing with nnreals (#30721) …
Added ENNReal.eq_of_forall_le_nnreal_iffView on Github →