∀ (name : Lean.Name) (next : Mathlib.Tactic.Conv.Path) (name_1 : Lean.Name) (next_1 : Mathlib.Tactic.Conv.Path),
  (Mathlib.Tactic.Conv.Path.body name next = Mathlib.Tactic.Conv.Path.body name_1 next_1) =
    (name = name_1 ∧ next = next_1)