(T : F →L[ℂ] F) (c : ℝ) (hne0 : (minmaxSet T 0).Nonempty) (hne1 : (minmaxSet T 1).Nonempty) : minmaxGap (shiftOp T c) = minmaxGap T

Initializing...

(T : F →L[ℂ] F) (c : ℝ) (hne0 : (minmaxSet T 0).Nonempty) (hne1 : (minmaxSet T 1).Nonempty) : minmaxGap (shiftOp T c) = minmaxGap T · Prove2Me