{connectivity,metric}): `connected` and `dist` (#12574)

Commit

3 years ago

feat(combinatorics/simple_graph/{connectivity,metric}): `connected` and `dist` (#12574) Co-authored-by: Vincent Beffara <vbeffara@gmail.com>

Author

kmill

Parents