[Merged by Bors] - feat(Data/Set/Function): make mapsTo_univ a simp lemma#38287

b-mehta wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

b-mehta:feat/set-function-mapsTo-univ-simpb-mehta/mathlib4:feat/set-function-mapsTo-univ-simpCopy head branch name to clipboard