Theorem Sym2.toRel_prop

Modification history