Commit 2022-02-28 12:46 1447c401
View on Github →refactor(group_theory/general_commutator): Rename general_commutator
to subgroup.commutator
(#12308)
This PR renames general_commutator
to subgroup.commutator
.
I'll change the file name in a followup PR, so that this PR is easier to review.
(This is one of the several orthogonal changes from https://github.com/leanprover-community/mathlib/pull/12134)