Go back to the tag's page.
Add missing proof on R[[x]] being Japanese
Added new tags modified: tags/tags
More on comlpetion and towards Nagata rings are universally Japanese modified: algebra.tex