Theorem SimpleGraph.Walk.takeUntil_cons

Modification history