Theorem continuous_map.map_specialization
Modification history
2022-06-07 13:32
src/topology/continuous_function/basic.lean
refactor(topology/continuous_function/basic): rename `map_specialization` (#14565) …
Deleted continuous_map.map_specializationView on Github →