Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-08 08:08 90702a04

View on Github →

feat(topology/continuous_map): missing coe_mk lemma (#6087)

Estimated changes

added theorem continuous_map.coe_mk