Theorem isPreconnected_iff_ordConnected

Modification history