Theorem SimpleGraph.Walk.endpoint_notMem_support_takeUntil

Modification history