connectivity): induced maps on walks and paths (#13310)

Commit

3 years ago

feat(combinatorics/simple_graph/connectivity): induced maps on walks and paths (#13310) Every graph homomorphism gives an induced map on walks.

Author

kmill

Parents