Explore
Overview
Propose
Stacks 01W5
theorem
Let $Y$, $X$ be schemes, and possibly some arrows, satisfying the following conditions:
$f$ closed immersion
Then
$f$ proper
References
https://stacks.math.columbia.edu/tag/01W5
add reference