Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.subset.eventually_le

Modification history

2022-06-15 23:36

src/order/filter/basic.lean

chore(*): Bump to Lean 3.43.0 (#14684) …

Deleted set.subset.eventually_le View on Github →

2021-01-14 15:25

src/order/filter/basic.lean

chore(data/set/basic): reuse some proofs about `boolean_algebra` (#5728) …

Added set.subset.eventually_le View on Github →