Theorem Algebra.TensorProduct.algEquivOfLinearEquivTensorProduct_apply

Modification history