Theorem PreconnectedSpace.connectedComponent_eq_univ

Modification history