Theorem FreeProduct.Word.of_smul_def

Modification history