1
1
------------------------------------------------------------------------
2
4
-- Some defined operations (multiplication by natural number and
4
6
------------------------------------------------------------------------
10
10
module Algebra.Operations {s₁ s₂} (S : Semiring s₁ s₂) where