Theorem isConnected_Ici

Modification history