Theorem Monoid.CoprodI.Word.fstIdx_ne_iff

Modification history