Theorem Sym2.mem_and_mem_iff

Modification history