Def equiv.perm.of_subtype
Modification history
2022-12-11 13:46
src/group_theory/perm/basic.lean
feat(group_theory/perm/basic): `subtype_perm` is a monoid hom (#17816) …
Modified equiv.perm.of_subtypeView on Github →2021-02-02 14:44
src/group_theory/perm/basic.lean
refactor(group_theory/perm): move perm.subtype_perm to basic (#6005) …
Modified equiv.perm.of_subtypeView on Github →