Theorem Sym2.mem_mk''_right

Modification history