Theorem SimpleGraph.Walk.append_nil

Modification history