module
Numeric
.
Semiring
.
Involutive
(
InvolutiveSemiring
)
where
import
Numeric
.
Algebra
.
Involutive