Theorem SimpleGraph.Walk.reverse_copy

Modification history