Theorem Monoid.CoprodI.Word.smul_induction

Modification history