Go back to the tag's page.
Approximation This seems a nice way to begin to prove things.
TAGS: Added new tags
Artin's approximation theorem For local G-rings. Follows from Popescu's theorem in our setup.