Theorem FreeProduct.lift_of

Modification history