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