∀ (src dst : ℕ) (proof : Lean.Expr) (src_1 dst_1 : ℕ) (proof_1 : Lean.Expr),
  ({ src := src, dst := dst, proof := proof } = { src := src_1, dst := dst_1, proof := proof_1 }) =
    (src = src_1 ∧ dst = dst_1 ∧ proof = proof_1)