Theorem isConnected_Ioo

Modification history