Theorem isConnected_sphere

Modification history