∀ (c : Lean.Name) (ls : List Lean.Level) (maxArgs? : Option ℕ) (c_1 : Lean.Name) (ls_1 : List Lean.Level)
  (maxArgs?_1 : Option ℕ),
  ({ c := c, ls := ls, maxArgs? := maxArgs? } = { c := c_1, ls := ls_1, maxArgs? := maxArgs?_1 }) =
    (c = c_1 ∧ ls = ls_1 ∧ maxArgs? = maxArgs?_1)