Theorem SimpleGraph.Walk.length_takeUntil_lt

Modification history