Theorem Monoid.CoprodI.Word.of_smul_def

Modification history