{ι : Type*} {l : Filter ι} (Tn : ι → F →L[ℂ] F) (T : F →L[ℂ] F) (k : ℕ) (hne : (minmaxSet T k).Nonempty) (h : Tendsto (fun i => ‖Tn i - T‖) l (𝓝 0)) : Tendsto (fun i => minmaxLevel (Tn i) k) l (𝓝...

Initializing...

{ι : Type*} {l : Filter ι} (Tn : ι → F →L[ℂ] F) (T : F →L[ℂ] F) (k : ℕ) (hne : (minmaxSet T k).Nonempty) (h : Tendsto (fun i => ‖Tn i - T‖) l (𝓝 0)) : Tendsto (fun i => minmaxLevel (Tn i) k) l (𝓝... · Prove2Me