Source: wikibot/krasner-s-lemma

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