Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.eventually_cofinite

Modification history

2020-12-23 12:11
src/order/filter/cofinite.lean
chore(analysis/asymptotics): a few more lemmas (#5482) …
Added filter.eventually_cofiniteView on Github →