Go back to the tag's page.
Tags: Added new tags
Final theorem on \bar{M}_g At least for now. This finally accomplishes the original goal of the Stacks project.