Theorem SimpleGraph.Walk.length_darts

Modification history