Theorem CategoryTheory.yonedaSectionsSmall_hom

Modification history