Go back to the tag's page.
Tags: added new tags
Smoothness of Def(B) ---> Def(S^{-1}B) Shall we do henselization as well?