mathlib

5e8d6bb3 - feat(combinatorics/simple_graph/{connectivity,adj_matrix}): powers of adjacency matrix (#13304)

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.