Def CategoryTheory.curriedCoyonedaLemma

Modification history