Theorem CategoryTheory.Presheaf.uliftYonedaAdjunction_unit_app_app

Modification history