Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-07 13:32 43f1af99

View on Github →

refactor(topology/continuous_function/basic): rename map_specialization (#14565) Rename continuous_map.map_specialization to continuous_map.map_specializes to align with the name of the relation.

Estimated changes