Def CategoryTheory.uncurryObjFlip

Modification history