∀ (decl : Lean.Name) (unfoldThm? : Option Lean.Name) (decl_1 : Lean.Name) (unfoldThm?_1 : Option Lean.Name),
  ({ decl := decl, unfoldThm? := unfoldThm? } = { decl := decl_1, unfoldThm? := unfoldThm?_1 }) =
    (decl = decl_1 ∧ unfoldThm? = unfoldThm?_1)