Theorem Monoid.CoprodI.Word.cons_eq_smul

Modification history