Theorem FreeProduct.Word.cons_eq_smul

Modification history