mathlib3

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