Def SimpleGraph.Walk.append

Modification history

2023-03-01 07:31

Mathlib/Combinatorics/SimpleGraph/Connectivity.lean

Port/combinatorics.simple_graph.connectivity (#2514)

Added SimpleGraph.Walk.append View on Github →