Theorem IsConnected.preimage_of_isClosedMap

Modification history