Source: wikibot/krull-s-separation-lemma

= Krull's separation lemma
{wiki=Krull's_separation_lemma}