Mathlib Changelog
v4
Changelog
About
Github
Theorem
Filter.tendsto_image_smallSets
Modification history
2023-12-04 18:10
Mathlib/Order/Filter/SmallSets.lean
feat(Order/Filter): add `Filter.tendsto_image_smallSets` (#8811) …
Added
Filter.tendsto_image_smallSets
View on Github →