Theorem isConnected_Ioi

Modification history