Theorem Monoid.CoprodI.Word.equivPair_eq_of_fstIdx_ne

Modification history