`BookProof.ChapterNumericalRangeCrouzeix.pearcyVec_apply` (A : E →L[ℂ] E) (c : ℂ) (n : ℕ) (y : E) : pearcyVec A c n y - c • A (pearcyVec A c n y) = y

Initializing...

`BookProof.ChapterNumericalRangeCrouzeix.pearcyVec_apply` (A : E →L[ℂ] E) (c : ℂ) (n : ℕ) (y : E) : pearcyVec A c n y - c • A (pearcyVec A c n y) = y - c ^ n • (A ^ n) y · Prove2Me