Go back to the tag's page.
Add missing hypothesis in derived.tex
Tags: added new tags
More derived functors