Theorem SimpleGraph.Walk.nil_append

Modification history