Theorem PiTensorProduct.liftAux.smul

Modification history