[Agda] factorization monoid, ring

[Sergei Meshveliani]

On Mon, 2016-06-20 at 14:36 +0400, Sergei Meshveliani wrote:
>  
> [..]
> 2) the notion of Factorization Ring,
> 3) the notion factorization uniqueness for such domains,
> 4) proofs for many lemmata which relate these notions to each other, and
> to factorization in a multiplicative monoid of Nat and Integer,

Correction:  in a multiplicative monoids of Nat\0, Integer\0. 

------
Sergei