Theorem CategoryTheory.ColimitAdj.restrictYonedaHomEquiv_natural

Modification history