Def category_theory.yoneda_equiv

Modification history