Go back to the tag's page.
Tags: Added new tags
Fix some internal references
Some improvements to algebraization Trying to focus more on principal ideal case of algebraization of formal sections