`BookProof.ChapterNumericalRangeCrouzeix.crouzeix_ball` [CompleteSpace E] {A : E →L[ℂ] E} {c : ℂ} {r M R : ℝ} (hr : 0 ≤ r) (hM : 0 ≤ M) (hR : r < R) (h : NumBallLE A c r) {a : ℕ →

Initializing...

`BookProof.ChapterNumericalRangeCrouzeix.crouzeix_ball` [CompleteSpace E] {A : E →L[ℂ] E} {c : ℂ} {r M R : ℝ} (hr : 0 ≤ r) (hM : 0 ≤ M) (hR : r < R) (h : NumBallLE A c r) {a : ℕ → · Prove2Me