`BookProof.SpectralGapStability.notMem_spectrum_of_uniform_gap` {A : ℕ → F →L[ℂ] F} {B : F →L[ℂ] F} (hB : IsSelfAdjoint B) {lam d : ℝ} (hd : 0 < d) (hgap : ∀ m, GapAt (A m) lam d)

Initializing...

`BookProof.SpectralGapStability.notMem_spectrum_of_uniform_gap` {A : ℕ → F →L[ℂ] F} {B : F →L[ℂ] F} (hB : IsSelfAdjoint B) {lam d : ℝ} (hd : 0 < d) (hgap : ∀ m, GapAt (A m) lam d) · Prove2Me