Theorem SimpleGraph.set_walk_length_succ_eq

Modification history