(T : F →L[ℂ] F) (W : Submodule ℂ F) (k : ℕ) : minmaxSetIn T W k ⊆ minmaxSet T k

Initializing...

(T : F →L[ℂ] F) (W : Submodule ℂ F) (k : ℕ) : minmaxSetIn T W k ⊆ minmaxSet T k · Prove2Me