Def CategoryTheory.Functor.flipIsoCurrySwapUncurry

Modification history