∀ (strName : Lean.Name) (strStx : Lean.Syntax) (newName : Lean.Name) (newStx : Lean.Syntax) (isDefault isPrefix : Bool)
  (expr? : Option Lean.Expr) (projNrs : Array ℕ) (isCustom : Bool) (strName_1 : Lean.Name) (strStx_1 : Lean.Syntax)
  (newName_1 : Lean.Name) (newStx_1 : Lean.Syntax) (isDefault_1 isPrefix_1 : Bool) (expr?_1 : Option Lean.Expr)
  (projNrs_1 : Array ℕ) (isCustom_1 : Bool),
  ({ strName := strName, strStx := strStx, newName := newName, newStx := newStx, isDefault := isDefault,
        isPrefix := isPrefix, expr? := expr?, projNrs := projNrs, isCustom := isCustom } =
      { strName := strName_1, strStx := strStx_1, newName := newName_1, newStx := newStx_1, isDefault := isDefault_1,
        isPrefix := isPrefix_1, expr? := expr?_1, projNrs := projNrs_1, isCustom := isCustom_1 }) =
    (strName = strName_1 ∧
      strStx = strStx_1 ∧
        newName = newName_1 ∧
          newStx = newStx_1 ∧
            isDefault = isDefault_1 ∧
              isPrefix = isPrefix_1 ∧ expr? = expr?_1 ∧ projNrs = projNrs_1 ∧ isCustom = isCustom_1)