def gcd
import bend-collections-laws-crypto@1.0.0.0/src/math/natural.bend as Naturalimport Base
59def gcd(+a: Nat, +b: Nat) -> Nat:
60 gcd_go(b, a, b)
Uses (2)
Used by (25)
- bend-collections-laws-crypto@1.0.0.0/src/math/natural:lcm
- bend-collections-laws-crypto@1.0.0.0/proofs/math/natural/gcd:gcd_dvd_left
- bend-collections-laws-crypto@1.0.0.0/proofs/math/natural/gcd:dvd_gcd
- bend-collections-laws-crypto@1.0.0.0/proofs/math/natural/gcd:gcd_dvd_right
- bend-collections-laws-crypto@1.0.0.0/src/math/natural:gcd_all_go
- …