Theorem CategoryTheory.uliftYonedaMap_app_apply

Modification history