Expand description

greatest common divisor on integer gcd(a, b) a, b \in \Z. 0 := identity element and empty product here. gcd(0, 0) := 0 \prod_{\emptyset} := 0