Theorem SimpleGraph.set_walk_length_zero_eq_of_ne

Modification history