Theorem CategoryTheory.coyonedaEquiv_symm_app_apply

Modification history