Theorem SimpleGraph.Walk.nil_reverse

Modification history