Theorem SimpleGraph.Walk.length_reverse

Modification history