mathlib

57bc1dab - feat(order/limsup_liminf, order/filter/ennreal): add properties of limsup for ennreal-valued functions (#5746)

feat(order/limsup_liminf, order/filter/ennreal): add properties of limsup for ennreal-valued functions (#5746) Co-authored-by: Rémy Degenne <remydegenne@gmail.com> Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>