chore(topology/continuous_function/algebra): fix an unexplained issue with `continuous_map.coe_fn_alg_hom` (#16876)
chore(topology/continuous_function/algebra): fix an unexplained issue with `continuous_map.coe_fn_alg_hom` (#16876)







leanprover-community/mathlib,leanprover-community/mathlib