Theorem FreeProduct.Word.prod_smul

Modification history