Theorem SimpleGraph.Walk.mem_support_iff_exists_getVert

Modification history