Theorem SimpleGraph.Walk.getVert_of_length_le

Modification history