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.

Estimated changes