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