Def CategoryTheory.Presheaf.restrictedULiftYonedaHomEquiv'

Modification history