{-# OPTIONS --cubical --no-import-sorts --safe #-}

module Operad.FinSet.Product where

open import Operad.FinSet.Product.Base public
open import Operad.FinSet.Product.Properties public