Theorem Filter.eventually_smallSets'

Modification history

2023-07-27 07:08
Mathlib/Order/Filter/SmallSets.lean
chore: tidy various files (#6158)
Added Filter.eventually_smallSets'View on Github →