Theorem Filter.exists_lt_of_le_liminf

Modification history

2025-03-19 06:49
Mathlib/Order/LiminfLimsup.lean
feat: generalize Mathlib.Order (#23062) …
Modified Filter.exists_lt_of_le_liminfView on Github →
2025-01-13 15:16
Mathlib/Order/LiminfLimsup.lean
feat(Algebra/Order/Ring/Unbundled/Nonneg.lean): add boundedness lemmas (#18172) …
Added Filter.exists_lt_of_le_liminfView on Github →