Tuples

{-# OPTIONS --rewriting --confluence-check #-}

module Properties.Products.Tuples where
  open import Notation.Products.Tuples public