module
Cubical.Algebra.OrderedCommRing
where
open
import
Cubical.Algebra.OrderedCommRing.Base
public