Go back to the tag's page.
Tags: Added new tags
Strengthen some of the lemmas comparing etale and proetale