Theorem Set.mapsTo_iff_image_subset

Modification history

2025-08-30 17:38
Mathlib/Data/Set/Function.lean
feat(Algebra/Order/Group/Pointwise/Interval): rename `Set.mapsTo'` to `Set.mapsTo_iff_image_subset` (#27551)
Added Set.mapsTo_iff_image_subsetView on Github →