Theorem SimpleGraph.set_walk_self_length_zero_eq

Modification history