Theorem SimpleGraph.Walk.edges_append

Modification history