{-# OPTIONS --safe #-} module Cubical.Algebra.CommMonoid where open import Cubical.Algebra.CommMonoid.Base public open import Cubical.Algebra.CommMonoid.Properties public