Theorem SimpleGraph.Walk.nodup_tail_support_reverse

Modification history