Go back to the tag's page.
Tags: Added new tags
Descent formal smoothness along split base change Spick and span.
Formally smooth adic rings are regular Easy as pie.