Theorem Sym2.mem_mk_right

Modification history