Theorem Algebra.TensorProduct.piRight_tmul

Modification history