Theorem FreeProduct.lift_injective_of_ping_pong

Modification history