{n : Type u} →
  [inst : DecidableEq n] →
    [inst_1 : Fintype n] →
      {R : Type v} →
        [inst_2 : CommRing R] →
          (S : Type u_1) → [inst_3 : CommRing S] → [Algebra R S] → Matrix.SpecialLinearGroup n R →* GL n S