Theorem ENNReal.eq_of_forall_nnreal_iff

Modification history

2025-03-07 17:17

Mathlib/Data/ENNReal/Inv.lean

feat: `ENNReal.ofNNReal` preserves `limsup` and `liminf` (#22659)

Added ENNReal.eq_of_forall_nnreal_iff View on Github →