Mathlib Changelog
v4
Changelog
About
Github
Theorem
CocompactMap.coe_toContinuousMap
Modification history
2023-02-12 15:02
Mathlib/Topology/ContinuousFunction/CocompactMap.lean
chore: tidy various files (#2236)
Added
CocompactMap.coe_toContinuousMap
View on Github →