mathlib

3da03b97 - refactor(group_theory/commutator): Use variables and rearrange lemmas (#12629)

refactor(group_theory/commutator): Use variables and rearrange lemmas (#12629) This PR adds variables, and rearranges some of the lemmas (moving the lemmas about normal subgroups to a separate section).