Def continuous_map.const'

feat(topology/compact_open): the family of constant maps collectively form a continuous map (#8721)