Def algebra.tensor_product.alg_equiv_of_linear_equiv_triple_tensor_product

Modification history