Theorem IsPreconnected.preimage_of_isOpenMap

Modification history