Theorem SimpleGraph.Walk.tail_cons

Modification history