Theorem SimpleGraph.Walk.edges_toPath_subset

Modification history