Theorem IsSymmetricRel.image_prodMap

Modification history