Theorem SimpleGraph.Walk.nil_append_iff

Modification history