{n : Type u} →
  [inst : DecidableEq n] →
    [inst_1 : Fintype n] →
      {α : Type v} →
        [inst_2 : CommRing α] →
          [inst_3 : StarRing α] → ↥(Matrix.unitaryGroup n α) → LinearMap.GeneralLinearGroup α (n → α)