Theorem CategoryTheory.hom_ext_uliftYoneda

Modification history