Theorem CocompactMap.isCompact_preimage_of_isClosed

Modification history