Theorem Sym.attach_cons

Modification history