Go back to the tag's page.
Fix up section with the main theorem Still to do: explain better why this is interesting
Tags: Added new tags
Properties of formal completion