Theorem SimpleGraph.Walk.append_concat

Modification history