Theorem FreeProduct.NeWord.singleton_head

Modification history