Theorem SimpleGraph.Walk.IsPath.of_append_left

Modification history