Theorem SimpleGraph.Walk.IsCycle.getVert_injOn

Modification history