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.