Theorem IsSymmetricRel.mk_mem_comm

Modification history