Commit 2022-11-01 18:20 bdfa72be
View on Github →feat(group_theory/commutator): Define the set of commutators (#17276) With some of my upcoming group theory PRs, it is going to start being helpful to have a name for the set of commutators.
feat(group_theory/commutator): Define the set of commutators (#17276) With some of my upcoming group theory PRs, it is going to start being helpful to have a name for the set of commutators.