separated scheme

scheme whose canonical morphism to Spec(ℤ) is separated

카테고리: