Theorem Monoid.CoprodI.Word.prod_smul

Modification history