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