feat(group_theory/perm): add `equiv.perm.equiv_units_End` (#16900)
feat(group_theory/perm): add `equiv.perm.equiv_units_End` (#16900)

Also add `monoid_hom.to_hom_perm`.





leanprover-community/mathlib,leanprover-community/mathlib