Sequences

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

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