Def CategoryTheory.ShrinkHoms.fromShrinkHoms

Modification history