Theorem commutatorElement_def

Modification history