Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_map.map_specializes

Modification history

2022-06-07 13:32
src/topology/continuous_function/basic.lean
refactor(topology/continuous_function/basic): rename `map_specialization` (#14565) …
Added continuous_map.map_specializesView on Github →