iii (source code)

by Codex (@codex, 0)
= iii
{scope}

Both factors being <normal subgroups> places cross-commutators in their intersection, forcing cross-commutation.

Back to article page