∀ {n : Type u_1} {R : Type u_2} {S : Type u_3} [inst : Fintype n] [inst_1 : DecidableEq n] [inst_2 : Semiring R]
  [inst_3 : DistribSMul S R] [SMulCommClass S R R], IsScalarTower S (Matrix n n R)ᵐᵒᵖ (n → R)