Theorem Sym2.toRel_symmetric

Modification history