Theorem CategoryTheory.yonedaMap_app_apply

Modification history