`BookProof.ChapterNumericalRangeCrouzeix.numBallLE_iff_numRange_subset` [CompleteSpace E] (A : E →L[ℂ] E) (c : ℂ) {r : ℝ} : NumBallLE A c r ↔ BookProof.ChapterH9.numRange A ⊆ Metri

Initializing...

`BookProof.ChapterNumericalRangeCrouzeix.numBallLE_iff_numRange_subset` [CompleteSpace E] (A : E →L[ℂ] E) (c : ℂ) {r : ℝ} : NumBallLE A c r ↔ BookProof.ChapterH9.numRange A ⊆ Metri · Prove2Me