(T T' : F →L[ℂ] F) {k : ℕ} (h : (minmaxSet T k).Nonempty) : (minmaxSet T' k).Nonempty

Initializing...

(T T' : F →L[ℂ] F) {k : ℕ} (h : (minmaxSet T k).Nonempty) : (minmaxSet T' k).Nonempty · Prove2Me