Theorem Monoid.CoprodI.Word.equivPair_head_smul_equivPair_tail

Modification history