Explore
Overview
Propose
Stacks 01OY
theorem
Let $X$ be a scheme, and possibly some arrows, satisfying the following conditions:
$X$ locally noetherian
Then
$X$ quasi-separated
References
add reference