Def category_theory.shrink_homs.equivalence

Modification history