Update Matrix_Tensor.thy