Theorem Sym.attach_mk

Modification history