Theorem SimpleGraph.Reachable.exists_isPath

Modification history