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