{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] → (R →+* S) → Matrix.SpecialLinearGroup n R →* Matrix.SpecialLinearGroup n S