ℕ and ℤ are normalized GCD monoids. #
Main statements #
- ℕ is a
GCDMonoid
- ℕ is a
NormalizedGCDMonoid
- ℤ is a
NormalizationMonoid
- ℤ is a
GCDMonoid
- ℤ is a
NormalizedGCDMonoid
Tags #
natural numbers, integers, normalization monoid, gcd monoid, greatest common divisor
Maps an associate class of integers consisting of -n, n
to n : ℕ