Theorem SimpleGraph.Walk.bypass_isPath

Modification history