{A : Type u_1} →
  [inst : CStarAlgebra A] →
    [inst_1 : PartialOrder A] →
      [inst_2 : StarOrderedRing A] →
        {n : Type u_2} → [inst_3 : Fintype n] → [inst_4 : DecidableEq n] → NormedAlgebra ℂ (CStarMatrix n n A)