Theorem TensorProduct.piScalarRight_apply

Modification history