Theorem Set.mapsTo'

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)

Deleted Set.mapsTo'View on Github →

2022-12-15 04:45

Mathlib/Data/Set/Function.lean

feat: port Data.Set.Function (#1035) …

Added Set.mapsTo'View on Github →