Theorem SimpleGraph.Walk.length_tail_add_one

Modification history