Theorem SimpleGraph.Walk.edges_cons

Modification history