Theorem CocompactMap.isCompact_preimage

Modification history

2023-02-07 04:16
Mathlib/Topology/ContinuousFunction/CocompactMap.lean
feat: port Topology.ContinuousFunction.CocompactMap (#2130)
Added CocompactMap.isCompact_preimageView on Github →