Commit 2026-04-21 14:52 763f957a

View on Github →

feat(Data/Set/Function): make mapsTo_univ a simp lemma (#38287)

Estimated changes

modified theorem Set.mapsTo_univ