Theorem Monoid.CoprodI.Word.prod_rcons

Modification history