Commit 2024-08-31 14:29 dbb26bf7
View on Github →feat: any element satisfying the predicate of a continuous functional calculus has nonempty spectrum (#16343)
In particular, this gives us that the ℝ-spectrum of selfadjoint elements and the ℝ≥0-spectrum of nonnegative elements in a C⋆-algebra are nonempty.