Theorem Filter.iSup_liminf_le_liminf_iSup

Modification history

2026-04-03 13:23
Mathlib/Order/LiminfLimsup.lean
feat(Order/LiminfLimsup): add `iSup_liminf_le_liminf_iSup` (#37549) …
Added Filter.iSup_liminf_le_liminf_iSupView on Github →