Lemma 57.17.1. Let $R$ be a countable Noetherian ring. Then the category of schemes of finite type over $R$ is countable.
Proof. Omitted. $\square$
Lemma 57.17.1. Let $R$ be a countable Noetherian ring. Then the category of schemes of finite type over $R$ is countable.
Proof. Omitted. $\square$
Comments (0)