Theorem FreeProduct.NeWord.prod_singleton

Modification history