Go back to the tag's page.
Mostly small typos around descending vector bundles in char p.
Tags: Added new tags
Finish the proof of Tag 05U9 Thanks to Ofer Gabber. Any mistakes are mine.