Theorem EReal.liminf_neg

Modification history

2025-10-20 15:33
Mathlib/Topology/Instances/EReal/Lemmas.lean
style: fix whitespace (#30725) …
Modified EReal.liminf_negView on Github →
2024-07-04 11:38
Mathlib/Topology/Instances/EReal.lean
feat(Topology/Instances/EReal): lemmas related to liminf and limsup (#14128) …
Added EReal.liminf_negView on Github →