Theorem CategoryTheory.coyonedaEquiv_apply

Modification history