Theorem Sym.erase_mk

Modification history