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

Initializing...

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