Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-23 22:35 68aada0d

View on Github →

feat(algebra/algebra/spectrum): prove the spectral mapping theorem for polynomials (#10783) Prove the spectral mapping theorem for polynomials. That is, if p is a polynomial and a : A where A is an algebra over a field 𝕜, then p (σ a) ⊆ σ (p a). Moreover, if 𝕜 is algebraically closed, then this inclusion is an equality.

Estimated changes