∀ (hyps : Array Lean.Expr) (lhs rhs : Lean.Expr) (hyps_1 : Array Lean.Expr) (lhs_1 rhs_1 : Lean.Expr),
  ({ hyps := hyps, lhs := lhs, rhs := rhs } = { hyps := hyps_1, lhs := lhs_1, rhs := rhs_1 }) =
    (hyps = hyps_1 ∧ lhs = lhs_1 ∧ rhs = rhs_1)