`BookProof.ChapterNumericalRangeCrouzeix.numRadiusLE_iff_numRange_subset` [CompleteSpace E] (A : E →L[ℂ] E) {r : ℝ} : NumRadiusLE A r ↔ BookProof.ChapterH9.numRange A ⊆ Metric.clos

Initializing...

`BookProof.ChapterNumericalRangeCrouzeix.numRadiusLE_iff_numRange_subset` [CompleteSpace E] (A : E →L[ℂ] E) {r : ℝ} : NumRadiusLE A r ↔ BookProof.ChapterH9.numRange A ⊆ Metric.clos · Prove2Me