Theorem isConj_comm

Modification history