Update Matrix_Tensor.thy

Ongoing