Theorem Sym.mem_append_iff

Modification history