Theorem SimpleGraph.Walk.edges_concat

Modification history