mathlib

f322fa0f - refactor(group_theory/solvable): Delete duplicate lemma (#12307)

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)