∀ (toIndGroupInfo : Lean.Elab.Structural.IndGroupInfo) (levels : List Lean.Level) (params : Array Lean.Expr)
  (toIndGroupInfo_1 : Lean.Elab.Structural.IndGroupInfo) (levels_1 : List Lean.Level) (params_1 : Array Lean.Expr),
  ({ toIndGroupInfo := toIndGroupInfo, levels := levels, params := params } =
      { toIndGroupInfo := toIndGroupInfo_1, levels := levels_1, params := params_1 }) =
    (toIndGroupInfo = toIndGroupInfo_1 ∧ levels = levels_1 ∧ params = params_1)