Go back to the tag's page.
Tags: Added new tags
N\'eron desingularization Decided to add this, even though it follows from Popescu's theorem.