Def CategoryTheory.uliftYonedaEquiv

Modification history