Matrix_Tensor_Changes.thy