Theorem IsPathConnected.isConnected

Modification history