Go back to the tag's page.
End conversion of etale to \'etale.
Tedious lemma on flatness Also added some small remarks on permanence of flatness.
Tags: Added new tags
More on local structure modules