Go back to the tag's page.
Tags: Added new tags
Quotients which are schemes Just a clear statement of what we've already proved.