{-# OPTIONS --safe #-}

module Data.Sigma.Properties where

open import Cubical.Data.Sigma.Properties using (Σ≡Prop) public