Theorem FreeProduct.lift_word_ping_pong

Modification history