Source: wikibot/artin-tate-lemma

= Artin–Tate lemma
{wiki=Artin–Tate_lemma}