Theorem IsSymmetricRel.prod_subset_comm

Modification history