Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_map.coe_mk

Modification history

2021-02-08 08:08
src/topology/continuous_map.lean
feat(topology/continuous_map): missing coe_mk lemma (#6087)
Added continuous_map.coe_mkView on Github →