Theorem FreeProduct.NeWord.singleton_last

Modification history