Theorem CategoryTheory.yonedaEquiv_symm_app_apply

Modification history