Dependent pair types

{-# OPTIONS --safe #-}
module foundation.dependent-pair-types where
Imports 
open import foundation-core.dependent-pair-types public