Source: /wikibot/artin-tate-lemma

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