Go back to the tag's page.
Complete local regular equichar is power series
Tags: Added new tags
Completion of (quasi)finite overrings Somehow confusing until you find a good formulation.