Theorem isConnected_iff_unionₛ_disjoint_open

Modification history