Def CategoryTheory.uliftYonedaMap

Modification history