Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-06 12:25 2aebabca

View on Github →

feat(topology/continuous_function/basic): add continuous_map.Icc_extend (#8952)

Estimated changes