Theorem SimpleGraph.Walk.length_takeUntil_le

Modification history