Theorem CocompactMap.id_comp

Modification history

2023-02-07 04:16

Mathlib/Topology/ContinuousFunction/CocompactMap.lean

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

Added CocompactMap.id_comp View on Github →