Theorem Sym.append_comm

Modification history