module
Algebra.DecidableField
where
open
import
Algebra.DecidableField.Base
public