`BookProof.ChapterNumericalRangeCrouzeix.numRadiusLE_pow_one` {A : E →L[ℂ] E} (h : NumRadiusLE A 1) (n : ℕ) (hn : 0 < n) : NumRadiusLE (A ^ n) 1

Initializing...

`BookProof.ChapterNumericalRangeCrouzeix.numRadiusLE_pow_one` {A : E →L[ℂ] E} (h : NumRadiusLE A 1) (n : ℕ) (hn : 0 < n) : NumRadiusLE (A ^ n) 1 · Prove2Me