Theorem SimpleGraph.Walk.IsPath.getVert_eq_start_iff

Modification history