Def SimpleGraph.Walk.takeUntil

Modification history

2023-03-01 07:31

Mathlib/Combinatorics/SimpleGraph/Connectivity.lean

Port/combinatorics.simple_graph.connectivity (#2514)

Added SimpleGraph.Walk.takeUntil View on Github →