Theorem SimpleGraph.Walk.edges_reverse

Modification history