Theorem ENNReal.ofNNReal_limsup

Modification history

2025-03-07 17:17
Mathlib/Topology/Instances/ENNReal/Lemmas.lean
feat: `ENNReal.ofNNReal` preserves `limsup` and `liminf` (#22659)
Added ENNReal.ofNNReal_limsupView on Github →