Go back to the tag's page.
Tags: Added new tags
Halway through the proof of the existence of complete devissages.
D\'evissage a la RG