Commit 2022-01-17 15:56 905871f4
View on Github →feat(analysis/normed_space/spectrum): an algebra homomorphism into the base field is bounded (#11494)
We prove basic facts about φ : A →ₐ[𝕜] 𝕜 when A is a Banach algebra, namely that φ maps elements of A to their spectrum, and that φ is bounded.