Theorem IsPreconnected.preimage_of_isClosedMap

Modification history