Theorem Algebra.TensorProduct.congr_toLinearEquiv

Modification history