Theorem SimpleGraph.Walk.bypass_copy

Modification history