fact: Definition curry {x y z} : x ⨂ y ~> z → x ~> y ⇒ z := @curry' _ x y z.
imports: Category.Lib Category.Theory.Category Category.Theory.Isomorphism Category.Theory.Functor Category.Structure.Monoidal.Cartesian Category.Instance.Sets