Theorem Sym.cons_erase

Modification history