Def SimpleGraph.Walk.support

Modification history

2023-03-01 07:31

Mathlib/Combinatorics/SimpleGraph/Connectivity.lean

Port/combinatorics.simple_graph.connectivity (#2514)

Added SimpleGraph.Walk.support View on Github →