Go back to the tag's page.
End conversion of etale to \'etale.
Added new tags
Construction of etale cover finite part First somewhat rough version of the argument. It is surprisingly pleasant to prove this.