Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.is_bounded_under.mono

Modification history

2020-07-31 17:41
src/order/liminf_limsup.lean
chore(*): assorted small lemmas (#3644)
Added filter.is_bounded_under.monoView on Github →