∀ {n : Type u} [inst : DecidableEq n] [inst_1 : Fintype n] {R : Type v} [inst_2 : CommRing R]
  (A : ↥(Subgroup.center (Matrix.SpecialLinearGroup n R))),
  ↑↑A = (Matrix.scalar n) ↑↑(Matrix.SpecialLinearGroup.center_equiv_rootsOfUnity A)