Def SimpleGraph.Path.singleton

Modification history