Def CategoryTheory.Presheaf.restrictedYonedaHomEquiv'

Modification history