Theorem isConnected_Ioc

Modification history