`BookProof.ChapterNumericalRangeSemigroup.shiftEquiv_apply` {A : E →L[ℂ] E} {ω : ℝ} (h : NumReLE A ω) {z : ℂ} (hz : ω < z.re) (x : E) : shiftEquiv h hz x = (z • (1 : E →L[ℂ] E)

Initializing...

`BookProof.ChapterNumericalRangeSemigroup.shiftEquiv_apply` {A : E →L[ℂ] E} {ω : ℝ} (h : NumReLE A ω) {z : ℂ} (hz : ω < z.re) (x : E) : shiftEquiv h hz x = (z • (1 : E →L[ℂ] E) - A · Prove2Me