Delete Matrix_Tensor.thy