Commit 2024-05-24 20:28 2c2bba1d
View on Github →feat(Combinatorics/SimpleGraph): Distance between u and v is one iff u and v are adjacent (#11945)
The distance between two vertices in a SimpleGraph is one if and only if they are adjacent.