Go back to the tag's page.
Tags: Added new tags
Small fixed of problems found by scripts
Fill in lemmas and proofs on relative equivalence
Weak version of Gabriel's theorem Also started a section about relative equivalences