Explore
Overview
Propose
Regular implies cohen-macaulay
theorem
Let $X$ be a scheme, and possibly some arrows, satisfying the following conditions:
$X$ regular
Then
$X$ cohen-macaulay
References
Stacks, https://stacks.math.columbia.edu/tag/00NQ (Georgios)
add reference