Theorem SimpleGraph.Walk.IsTrail.count_edges_eq_one

Modification history