∀ {documentChanges? : Option Bool} {changeAnnotationSupport? : Option Lean.Lsp.ChangeAnnotationSupport}
  {resourceOperations? : Option (Array String)} {documentChanges?_1 : Option Bool}
  {changeAnnotationSupport?_1 : Option Lean.Lsp.ChangeAnnotationSupport}
  {resourceOperations?_1 : Option (Array String)},
  { documentChanges? := documentChanges?, changeAnnotationSupport? := changeAnnotationSupport?,
        resourceOperations? := resourceOperations? } =
      { documentChanges? := documentChanges?_1, changeAnnotationSupport? := changeAnnotationSupport?_1,
        resourceOperations? := resourceOperations?_1 } →
    documentChanges? = documentChanges?_1 ∧
      changeAnnotationSupport? = changeAnnotationSupport?_1 ∧ resourceOperations? = resourceOperations?_1