Theorem CategoryTheory.yonedaEquiv_apply

Modification history