Theorem SimpleGraph.Walk.cons_isPath_iff

Modification history