mathlib
74cf64c3 - feat(group_theory/perm): add `equiv.perm.equiv_units_End` (#16900)

Commit

3 years ago

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

Author

urkud

Parents