Theorem SimpleGraph.Walk.nil_takeUntil

Modification history