Def CategoryTheory.ColimitAdj.restrictedYonedaYoneda

Modification history