Theorem isPathConnected_iff

Modification history