Def CategoryTheory.Presheaf.restrictedYoneda

Modification history