Go back to the tag's page.
The rings need not be local for this lemma Thanks to Noah Olander Irrelevant assumption removed!
Tags: added new tags
dominant + unramified = etale over unibranch