Theorem zero_at_infty_continuous_map.norm_to_bcf_eq_norm

refactor(analysis): change the symbol for norm to align with the unicode spec (#17575) …

feat(topology/continuous_function/zero_at_infty): add more instances for zero_at_infty_continuous_map and establish C₀ functorial properties (#13196) …