Theorem SimpleGraph.Walk.tail_cons_nil

Modification history