Go back to the tag's page.
Tags: Added new tags
Fix small snafus
Finite type closed in finite presentation (stacks) The proof for stacks in some sense is easier... than for schemes