Stdlib.Extra.Gcd
Contents
gcd {A} {{Eq A}} {{Ord A}} {{Natural A}} {{DivMod A}} (a b : A) : ASource#
Computes the greatest common divisor of `a` and `b`.
