 The Stacks project

Commutative-algebra passages: §10.6, Definition 10.6.1: finite type and finite presentation and §10.31, Lemmas 10.31.1 and 10.31.4: the Noetherian hypotheses that turn finite generation into finite presentation.

The finite coefficient-subalgebra proof of the Artin-Tate lemma is Lemma 10.51.7, tag 00IS.