Go back to the tag's page.
LaTeX Introduced a new macro \def\Coker{\text{Coker}} and replaced all occurrences of \text{Coker} by \Coker
Tags: Added new tags
Halway through the proof of the existence of complete devissages.
D\'evissage a la RG