connectivity): API for get_vert (#12604)

Commit

3 years ago

feat(combinatorics/simple_graph/connectivity): API for get_vert (#12604) From my Formalising Mathematics 2022 course.

Author

kbuzzard

Parents