Theorem SimpleGraph.Walk.snd_takeUntil

Modification history