Theorem PiTensorProduct.liftAux_tprod

Modification history