Theorem SimpleGraph.Walk.bypass_eq_self_of_length_le

Modification history