Theorem Monoid.CoprodI.Word.equivPair_symm

Modification history