Theorem Monoid.CoprodI.lift_word_ping_pong

Modification history