Norm-closed convex set is weakly closed (source code)

= Norm-closed convex set is weakly closed

A norm-closed convex subset of a Banach space contains every weak limit of its sequences. Apply <Mazur lemma> to obtain norm-convergent convex combinations that remain in the set.