Go back to the tag's page.
End conversion of etale to \'etale.
Tags: added new tags
Proof of 2 lemmas Just making sure this isn't nonsense.