Theorem SimpleGraph.Walk.length_edges

Modification history