Theorem Monoid.CoprodI.lift_word_prod_nontrivial_of_not_empty

Modification history