chore(simple_graph/basic): Fix typo in docstring: adjacent vertices, not edges (#11356)
chore(simple_graph/basic): Fix typo in docstring: adjacent vertices, not edges (#11356)






leanprover-community/mathlib,leanprover-community/mathlib