`BookProof.ChapterNumericalRangeCrouzeix.numRadiusLE_pow` {A : E →L[ℂ] E} {r : ℝ} (hr : 0 ≤ r) (h : NumRadiusLE A r) (n : ℕ) (hn : 0 < n) : NumRadiusLE (A ^ n) (r ^ n)

Initializing...

`BookProof.ChapterNumericalRangeCrouzeix.numRadiusLE_pow` {A : E →L[ℂ] E} {r : ℝ} (hr : 0 ≤ r) (h : NumRadiusLE A r) (n : ℕ) (hn : 0 < n) : NumRadiusLE (A ^ n) (r ^ n) · Prove2Me