Theorem SimpleGraph.Walk.darts_append

Modification history