Theorem CocompactMap.tendsto_of_forall_preimage

Modification history

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