Theorem IsConnected.preimage_of_isOpenMap

Modification history