Commit 2026-04-03 13:23 129c85f6
View on Github →feat(Order/LiminfLimsup): add iSup_liminf_le_liminf_iSup (#37549)
Add Filter.iSup_liminf_le_liminf_iSup: the supremum of liminfs is bounded by the liminf of the pointwise supremum.
Upstreamed from the Carleson project.