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

Initializing...

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