separated scheme

scheme whose canonical morphism to Spec(ℤ) is separated

Kategorie: