Theorem SimpleGraph.Walk.IsCycle.getVert_injOn'

Modification history