Theorem CocompactMap.ext

Modification history

2023-02-07 04:16

Mathlib/Topology/ContinuousFunction/CocompactMap.lean

feat: port Topology.ContinuousFunction.CocompactMap (#2130)

Added CocompactMap.ext View on Github →