Theorem SimpleGraph.Walk.isPath_def

Modification history