Go back to the tag's page.
Typos in algebra Thanks to Shurui Liu https://stacks.math.columbia.edu/tag/0G8M#comment-6040
Tags: added new tags
finite + finitely presented modules and Hom Should have added this ages ago