Theorem Algebra.TensorProduct.piScalarRight_tmul

Modification history