Theorem PiTensorProduct.lift_tprod

Modification history