Theorem SimpleGraph.Walk.length_append

Modification history