Def SimpleGraph.Walk.getVert

Modification history

2023-03-01 07:31

Mathlib/Combinatorics/SimpleGraph/Connectivity.lean

Port/combinatorics.simple_graph.connectivity (#2514)

Added SimpleGraph.Walk.getVert View on Github →