Theorem Monoid.CoprodI.lift_injective_of_ping_pong

Modification history