Lemma 15.52.2. Any localization of a finite type ring over a (quasi-)excellent ring is (quasi-)excellent.

Proof. For finite type algebras this follows from the definitions for the properties J-2 and universally catenary. For G-rings, see Proposition 15.50.10. We omit the proof that localization preserves (quasi-)excellency. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).