Mathlib Changelog
v4
Changelog
About
Github
Theorem
Filter.eventually_small_sets'
Modification history
2023-07-27 07:08
Mathlib/Order/Filter/SmallSets.lean
chore: tidy various files (#6158)
Deleted
Filter.eventually_small_sets'
View on Github →
2023-01-24 10:06
Mathlib/Order/Filter/SmallSets.lean
Feat: port Order.Filter.SmallSets (#1810)
Added
Filter.eventually_small_sets'
View on Github →