Theorem Sym2.fromRel_proj_prop

Modification history