∀ (name : Lean.Name) (declName? : Option Lean.Name) (numFields : ℕ) (provesMotive : Bool) (name_1 : Lean.Name)
  (declName?_1 : Option Lean.Name) (numFields_1 : ℕ) (provesMotive_1 : Bool),
  ({ name := name, declName? := declName?, numFields := numFields, provesMotive := provesMotive } =
      { name := name_1, declName? := declName?_1, numFields := numFields_1, provesMotive := provesMotive_1 }) =
    (name = name_1 ∧ declName? = declName?_1 ∧ numFields = numFields_1 ∧ provesMotive = provesMotive_1)