Theorem SimpleGraph.Walk.length_dropUntil_le

Modification history