Theorem Algebra.TensorProduct.piScalarRight_tmul_apply

Modification history