(T T' : F →L[ℂ] F) (k : ℕ) (hne : (minmaxSet T k).Nonempty) : |minmaxLevel T k - minmaxLevel T' k| ≤ ‖T

Initializing...

(T T' : F →L[ℂ] F) (k : ℕ) (hne : (minmaxSet T k).Nonempty) : |minmaxLevel T k - minmaxLevel T' k| ≤ ‖T - T'‖ · Prove2Me