Theorem Algebra.TensorProduct.rTensor_ker

Modification history