Commit 2025-08-30 17:38 c20f6c51

View on Github →

feat(Algebra/Order/Group/Pointwise/Interval): rename Set.mapsTo' to Set.mapsTo_iff_image_subset (#27551)

Estimated changes