Theorem CategoryTheory.ColimitAdj.extendAlongYoneda_map

Modification history