Go back to the tag's page.
Proper is local on the base for formal algebraic spaces
Tags: Added new tags
A bit about morphisms