Theorem SimpleGraph.Walk.snd_reverse

Modification history