The matrix algebra is a central algebra

instance Algebra.IsCentral.matrix (K : Type u_1) (D : Type u_2) [CommSemiring K] [Semiring D] [Algebra K D] [IsCentral K D] (ι : Type u_3) [Fintype ι] [DecidableEq ι] : IsCentral K (Matrix ι ι D)