Theorem SimpleGraph.Path.count_edges_eq_one

Modification history