Def CategoryTheory.ShrinkHoms

Modification history