Type arithmetic for cartesian product types

module foundation.type-arithmetic-cartesian-product-types where
Imports 
open import foundation-core.type-arithmetic-cartesian-product-types public