Theorem SimpleGraph.Walk.takeUntil_first

Modification history