Theorem SimpleGraph.Connected.exists_isPath

Modification history