Theorem FreeProduct.NeWord.append_last

Modification history