Theorem FreeGroup.injective_lift_of_ping_pong

Modification history