Def category_theory.tensor_right_hom_equiv

Modification history