Def CategoryTheory.curriedYonedaLemma'

Modification history