P
Initializing...
(T : F →L[ℂ] F) {x : F} (hx1 : ‖x‖ = 1) : -‖T‖ ≤ rayleighVal T x · Prove2Me