Go back to the tag's page.
fix small typos
Tags: Added new tags
Some improvements to algebraization Trying to focus more on principal ideal case of algebraization of formal sections