Go back to the tag's page.
Mostly small typos around descending vector bundles in char p.
Tags: Added new tags
Lemma Tag 05U9 for valuation rings Thanks to Ofer Gabber