Theorem SimpleGraph.Walk.cons_reverseAux

Modification history