Go back to the tag's page.
Reorganize material henselization OK, I still dislike henselization but it seems to be a necessary evil.
Tags: Added new tags
Weakly etale versus ind-etale Still a bit rough.