module foundation.equality-cartesian-product-types where
open import foundation-core.equality-cartesian-product-types public