Theorem Algebra.TensorProduct.lid_toLinearEquiv

Modification history