(T : F →L[ℂ] F) (c : ℝ) {x : F} (hx1 : ‖x‖ = 1) : rayleighVal (shiftOp T c) x = rayleighVal T x + c

Initializing...

(T : F →L[ℂ] F) (c : ℝ) {x : F} (hx1 : ‖x‖ = 1) : rayleighVal (shiftOp T c) x = rayleighVal T x + c · Prove2Me