`BookProof.ChapterNumericalRangeSemigroup.norm_resolvent_le` {A : E →L[ℂ] E} {ω : ℝ} (h : NumReLE A ω) {z : ℂ} (hz : ω < z.re) : ‖((shiftEquiv h hz).symm : E →L[ℂ] E)‖ ≤...

Initializing...

`BookProof.ChapterNumericalRangeSemigroup.norm_resolvent_le` {A : E →L[ℂ] E} {ω : ℝ} (h : NumReLE A ω) {z : ℂ} (hz : ω < z.re) : ‖((shiftEquiv h hz).symm : E →L[ℂ] E)‖ ≤... · Prove2Me