Def CategoryTheory.uliftYonedaIsoYoneda

Modification history