Theorem CategoryTheory.uliftYonedaEquiv_comp

Modification history