Theorem SimpleGraph.Walk.IsPath.getVert_injOn_iff

Modification history