Theorem PreconnectedSpace.constant

Modification history