Theorem SimpleGraph.Walk.IsPath.getVert_injOn

Modification history