P
Initializing...
(T : F →L[ℂ] F) (S : Submodule ℂ F) : BddAbove (rayleighSetOn T S) · Prove2Me