Theorem SimpleGraph.Walk.reverse_cons

Modification history