Def category_theory.shrink_homs

Modification history