Theorem SimpleGraph.Walk.count_edges_takeUntil_le_one

Modification history