`BookProof.ChapterNumericalRangeCrouzeix.norm_le_two_mul_of_numRadiusLE` {A : E →L[ℂ] E} {r : ℝ} (hr : 0 ≤ r) (h : NumRadiusLE A r) : ‖A‖ ≤ 2 * r

Initializing...

`BookProof.ChapterNumericalRangeCrouzeix.norm_le_two_mul_of_numRadiusLE` {A : E →L[ℂ] E} {r : ℝ} (hr : 0 ≤ r) (h : NumRadiusLE A r) : ‖A‖ ≤ 2 * r · Prove2Me