Delete Matrix_Arith.thy