∀ {binderName : Lean.Name} {binderType body : Lean.Expr} {binderInfo : Lean.BinderInfo} {binderName_1 : Lean.Name}
  {binderType_1 body_1 : Lean.Expr} {binderInfo_1 : Lean.BinderInfo},
  Lean.Expr.lam binderName binderType body binderInfo = Lean.Expr.lam binderName_1 binderType_1 body_1 binderInfo_1 →
    binderName = binderName_1 ∧ binderType = binderType_1 ∧ body = body_1 ∧ binderInfo = binderInfo_1