Theorem CocompactMap.coe_copy

Modification history

2023-02-07 04:16

Mathlib/Topology/ContinuousFunction/CocompactMap.lean

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

Added CocompactMap.coe_copy View on Github →