Def CategoryTheory.Presheaf.restrictedULiftYoneda

Modification history