Theorem SimpleGraph.Walk.IsPath.getVert_eq_end_iff

Modification history