Theorem Algebra.TensorProduct.rid_toLinearEquiv

Modification history