connectivity): Transfer walks from a `simple_graph` to another (#17326)

Commit

3 years ago

feat(combinatorics/simple_graph/connectivity): Transfer walks from a `simple_graph` to another (#17326) Co-authored-by: bottine <bottine@users.noreply.github.com>

Author

bottine

Parents

fec1d95f

mathlib3 7a5f20f4 - feat(combinatorics/simple_graph/connectivity): Transfer walks from a `simple_graph` to another (#17326)

mathlib3
7a5f20f4 - feat(combinatorics/simple_graph/connectivity): Transfer walks from a `simple_graph` to another (#17326)