Theorem Sym2.fromRel_prop

Modification history