(T : F →L[ℂ] F) {S : Submodule ℂ F} {x : F} (hx : x ∈ S) (hx1 : ‖x‖ = 1) : rayleighVal T x ≤ rayleighSup T S

Initializing...

(T : F →L[ℂ] F) {S : Submodule ℂ F} {x : F} (hx : x ∈ S) (hx1 : ‖x‖ = 1) : rayleighVal T x ≤ rayleighSup T S · Prove2Me