Commit 2024-02-22 19:15 94a09b79

feat: simpler conditions for SpectrumRestricts for ℂ, ℝ and ℝ≥0. (#10826) This provides conditions which are easier to verify for SpectrumRestricts when the scalar rings are ℂ, ℝ, or ℝ≥0. In addition, it provides a condition for the spectrum to restrict to ℝ≥0 in terms of the spectral radius.