module Cubical.Algebra.OrderedCommRing where

open import Cubical.Algebra.OrderedCommRing.Base public