Mathlib v3 is deprecated. Go to Mathlib v4

Theorem simple_graph.walk.transfer_transfer

Modification history

2022-11-06 14:53

src/combinatorics/simple_graph/connectivity.lean

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

Added simple_graph.walk.transfer_transfer View on Github →