Theorem Algebra.TensorProduct.cancelBaseChange_tmul

Modification history