∀ (arg : ℕ) (all : Bool) (next : Mathlib.Tactic.Conv.Path) (arg_1 : ℕ) (all_1 : Bool)
  (next_1 : Mathlib.Tactic.Conv.Path),
  (Mathlib.Tactic.Conv.Path.arg arg all next = Mathlib.Tactic.Conv.Path.arg arg_1 all_1 next_1) =
    (arg = arg_1 ∧ all = all_1 ∧ next = next_1)