Theorem SimpleGraph.Preconnected.exists_isPath

Modification history