`BookProof.ChapterSchurIrreducible.cfc_ne_zero_of_mem_spectrum` [Nontrivial V] {T : V →L[ℂ] V} (hT : IsSelfAdjoint T) {f : ℝ → ℝ} (hf : Continuous f) {p : ℝ} (hp : p ∈ spectrum ℝ T

Initializing...

`BookProof.ChapterSchurIrreducible.cfc_ne_zero_of_mem_spectrum` [Nontrivial V] {T : V →L[ℂ] V} (hT : IsSelfAdjoint T) {f : ℝ → ℝ} (hf : Continuous f) {p : ℝ} (hp : p ∈ spectrum ℝ T · Prove2Me