Def CategoryTheory.ColimitAdj.restrictedYoneda

Modification history