Def Filter.IsBounded

Modification history

2024-11-25 11:42

Mathlib/Order/Filter/Defs.lean

chore(Filter): move defs of `Filter.IsBounded` etc (#19358)

Modified Filter.IsBounded View on Github →

2023-02-07 14:12

Mathlib/Order/LiminfLimsup.lean

feat: port Order.LiminfLimsup (#2078) …

Added Filter.IsBounded View on Github →