Theorem Abelianization.commutator_subset_ker

Modification history