Go back to the tag's page.
Matlis duality A bit rough...
Tags: added new tags
A bit more on injective modules
Fix a proof