Theorem FreeProduct.Word.prod_empty

Modification history