Theorem PiTensorProduct.liftAux_tprodCoeff

Modification history