Theorem SimpleGraph.Walk.isPath_copy

Modification history