Go back to the tag's page.
Small clarifications in quot Actually, these clarifications unfortunately make it harder to read the damn thing.
Tags: Added new tags
Functor of quotients Basic lemmas. Fun!