Theorem TensorProduct.piScalarRight_symm_single

Modification history