∀ (fullName : Lean.Name) (edit : Lean.Lsp.TextEdit) (fullName_1 : Lean.Name) (edit_1 : Lean.Lsp.TextEdit),
  ({ fullName := fullName, edit := edit } = { fullName := fullName_1, edit := edit_1 }) =
    (fullName = fullName_1 ∧ edit = edit_1)