Go back to the tag's page.
Missing quasi-coherent added
Corollary added and tags for the last few lemmas on universal flattenings
Improving earlier results