Theorem isPreconnected_Ioo

Modification history