Theorem CategoryTheory.ColimitAdj.extendAlongYoneda_obj.hom_ext

Modification history