Theorem mem_commutatorSet_of_isConj_sq

Modification history