(T : F →L[ℂ] F) (c : ℝ) {S : Submodule ℂ F} (hS : 0 < Module.finrank ℂ S) : rayleighSup (shiftOp T c) S = rayleighSup T S + c

Initializing...

(T : F →L[ℂ] F) (c : ℝ) {S : Submodule ℂ F} (hS : 0 < Module.finrank ℂ S) : rayleighSup (shiftOp T c) S = rayleighSup T S + c · Prove2Me