Theorem SimpleGraph.Path.notMem_edges_of_loop

Modification history