{n : Type u} →
  [inst : DecidableEq n] →
    [inst_1 : Fintype n] →
      {R : Type v} →
        [inst_2 : CommRing R] → [Fact (Even (Fintype.card n))] → HasDistribNeg (Matrix.SpecialLinearGroup n R)