Source: wikibot/riesz-s-lemma

= Riesz's lemma
{wiki=Riesz's_lemma}