Theorem isPreconnected_Iic

Modification history