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

Initializing...

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