The matrix ring over a simple ring is simple

instance IsSimpleRing.matrix (ι : Type u_1) (A : Type u_2) [Ring A] [Fintype ι] [Nonempty ι] [IsSimpleRing A] : IsSimpleRing (Matrix ι ι A)

Equations

• ⋯ = ⋯