Theorem SimpleGraph.Path.mk'_mem_edges_singleton

Modification history