Def CategoryTheory.ColimitAdj.restrictYonedaHomEquiv

Modification history