Theorem Monoid.CoprodI.lift_word_prod_nontrivial_of_other_i

Modification history