{A : Type u_1} →
  [inst : NonUnitalCStarAlgebra A] →
    [inst_1 : PartialOrder A] →
      [StarOrderedRing A] →
        {m : Type u_2} → {n : Type u_3} → [Fintype m] → [Fintype n] → NormedAddCommGroup (CStarMatrix m n A)