Def CategoryTheory.flipIsoCurrySwapUncurry

Modification history