Theorem SimpleGraph.Walk.IsTrail.count_edges_le_one

Modification history