Theorem SimpleGraph.Walk.reverse_append

Modification history