Theorem Sym.attach_nil

Modification history