∀ (structName : Lean.Name) (idx : ℕ) (structName_1 : Lean.Name) (idx_1 : ℕ),
  (Lean.Elab.Term.LValResolution.projIdx structName idx = Lean.Elab.Term.LValResolution.projIdx structName_1 idx_1) =
    (structName = structName_1 ∧ idx = idx_1)