P
Initializing...
(T : F →L[ℂ] F) (b : HilbertBasis ℕ ℂ F) (k : ℕ) : (minmaxSet T k).Nonempty · Prove2Me