Def category_theory.shrink_homs.to_shrink_homs

Modification history