Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.not_is_bounded_under_of_tendsto_at_top

Modification history

2022-01-11 13:55
src/order/liminf_limsup.lean
chore(order/basic): Rename `no_bot_order`/`no_top_order` to `no_min_order`/`no_max_order` (#11357) …
Modified filter.not_is_bounded_under_of_tendsto_at_topView on Github →
2021-11-23 18:21
src/order/liminf_limsup.lean
feat(topology/algebra/ordered): convergent sequence is bounded above/below (#10424) …
Modified filter.not_is_bounded_under_of_tendsto_at_topView on Github →
2021-05-26 21:50
src/order/liminf_limsup.lean
feat(special_functions/polynomials): Generalize some polynomial asymptotics to iff statements. (#7545)
Added filter.not_is_bounded_under_of_tendsto_at_topView on Github →