Theorem Algebra.TensorProduct.comm_toLinearEquiv

Modification history