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