Explore
Overview
Propose
Locally noetherian and quasi-compact implies noetherian
theorem
Let $X$ be a scheme, and possibly some arrows, satisfying the following conditions:
$X$ quasi-compact, locally noetherian
Then
$X$ noetherian
References
Hartshorne, Definition pg 83
add reference