Go back to the tag's page.
More consistent notation for RHom_A(-, -) Of course in the end it is hopeless to have good notation...
Tags: Added new tags
Hom from perfect into K-flat more-algebra