Theorem Monoid.CoprodI.Word.rcons_inj

Modification history