Theorem SimpleGraph.Walk.IsPath.of_cons

Modification history