Mathlib v3 is deprecated. Go to Mathlib v4

Theorem simple_graph.walk.mem_finset_walk_length_iff_length_eq

Modification history