Theorem CategoryTheory.ColimitAdj.extendAlongYoneda_obj

Modification history