e/Mazur's lemma

Information
has gloss	eng: In mathematics, Mazurs lemma is a result in the theory of Banach spaces. It shows that any weakly convergent sequence in a Banach space has a sequence of convex combinations of its members that converges strongly to the same limit, and is used in the proof of Tonellis theorem.
lexicalization	eng: Mazur's lemma
instance of	e/Banach space