∀ (numFixed : ℕ) (perms : Array Lean.Elab.FixedParamPerm) (revDeps : Array (Array (Array ℕ))) (numFixed_1 : ℕ)
  (perms_1 : Array Lean.Elab.FixedParamPerm) (revDeps_1 : Array (Array (Array ℕ))),
  ({ numFixed := numFixed, perms := perms, revDeps := revDeps } =
      { numFixed := numFixed_1, perms := perms_1, revDeps := revDeps_1 }) =
    (numFixed = numFixed_1 ∧ perms = perms_1 ∧ revDeps = revDeps_1)