∀ (projName fieldName : Lean.Name) (lctx : Lean.LocalContext) (val : Lean.Expr) (stx : Lean.Syntax)
  (projName_1 fieldName_1 : Lean.Name) (lctx_1 : Lean.LocalContext) (val_1 : Lean.Expr) (stx_1 : Lean.Syntax),
  ({ projName := projName, fieldName := fieldName, lctx := lctx, val := val, stx := stx } =
      { projName := projName_1, fieldName := fieldName_1, lctx := lctx_1, val := val_1, stx := stx_1 }) =
    (projName = projName_1 ∧ fieldName = fieldName_1 ∧ lctx = lctx_1 ∧ val = val_1 ∧ stx = stx_1)