Theorem ENNReal.eq_of_forall_nnreal_le_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_nnreal_le_iffView on Github →