Theorem PiTensorProduct.lift.tprod

Modification history