Def algebra.tensor_product.alg_equiv_of_linear_equiv_tensor_product

Modification history