Go back to the tag's page.
Tags: Added new tags
Formal smoothness vs smoothness for stacks Only fs => s for the moment...