∀ {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