Theorem Filter.isBoundedUnder_const
Modification history
2026-01-09 08:53
Mathlib/Order/Filter/IsBounded.lean
chore(Order/Defs/Unbundled): deprecate `IsRefl` in favor of core's `Std.Refl` (#33755)
Modified Filter.isBoundedUnder_constView on Github →