Theorem CategoryTheory.yonedaSectionsSmall_inv_app_apply

Modification history