Theorem CategoryTheory.hom_ext_yoneda

Modification history