Go back to the tag's page.
fix small typos
Tags: Added new tags
Compose FM functors on QCoh This was a bit of a puzzle where my initial attempts all got stuck