Def SimpleGraph.Walk.concatRec

Modification history

2023-03-01 07:31

Mathlib/Combinatorics/SimpleGraph/Connectivity.lean

Port/combinatorics.simple_graph.connectivity (#2514)

Added SimpleGraph.Walk.concatRec View on Github →