Update Matrix_Tensor.thy

List_Tensor_Elements- the intermediary theorem which proves how the list_tensor elements are listed is being proved. (in progress)