Go back to the tag's page.
fix small typos
Tags: Added new tags
Determinants of operators on finite length modules Could add a few more lemmas here but this is all we need for now.