Theorem connectedSpace_iff_univ

Modification history