Explore
Overview
Propose
cohen-macaulay implies locally noetherian
theorem
Let $X$ be a scheme, and possibly some arrows, satisfying the following conditions:
$X$ cohen-macaulay
Then
$X$ locally noetherian
References
Stacks Project, https://stacks.math.columbia.edu/tag/02IP (Fabio)
add reference