Go back to the tag's page.
Tags: Added new tags
Cospecialization map Can anyone tell me a reference for the relation between specialization and cospecialization given in the last lemma of this commit?