∀ {α : Type} (name : Lean.Name) (defValue : α) (name_1 : Lean.Name) (defValue_1 : α),
  ({ name := name, defValue := defValue } = { name := name_1, defValue := defValue_1 }) =
    (name = name_1 ∧ defValue = defValue_1)