Theorem SimpleGraph.Walk.exists_length_eq_one_iff

Modification history