Theorem SimpleGraph.Walk.IsPath.of_append_right

Modification history