Theorem SimpleGraph.Walk.isPath_of_length_eq_dist

Modification history