Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-11 16:38 5e8d6bb3

View on Github →

feat(combinatorics/simple_graph/{connectivity,adj_matrix}): powers of adjacency matrix (#13304) The number of walks of length-n between two vertices is given by the corresponding entry of the n-th power of the adjacency matrix.

Estimated changes