Commit 2022-02-27 22:39 f322fa0f
View on Github →refactor(group_theory/solvable): Delete duplicate lemma (#12307)
map_commutator_eq_commutator_map is a duplicate of map_general_commutator.
(This is one of the several orthogonal changes from #12134)