Theorem alg_hom.apply_mem_spectrum

chore(algebra/algebra/spectrum): generalize some spectrum results from `alg_hom` to `alg_hom_class` (#16177) …

feat(analysis/normed_space/spectrum): an algebra homomorphism into the base field is bounded (#11494) …