Theorem Algebra.TensorProduct.algEquivOfLinearEquivTripleTensorProduct_apply

Modification history