[Merged by Bors] - chore: unsimp Set.coe_setOf#39582

plp127 wants to merge 12 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

plp127:aliu/set-coeplp127/mathlib4:aliu/set-coeCopy head branch name to clipboard