def gcd_all
import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as Naturalimport Base
78def gcd_all(xs: List<&2, Nat>) -> Nat:
79 gcd_all_go(xs, 0n)
Uses (3)
Used by (7)
- bend-collections-laws-math@1.0.0.0/spec/math/generic:GcdAll.agrees
- bend-collections-laws-math@1.0.0.0/proofs/math/natural/lists:dvd_gcd_all
- bend-collections-laws-math@1.0.0.0/proofs/math/natural/lists:gcd_all_dvd
- bend-collections-laws-math@1.0.0.0/spec/math/natural:GcdAll.divides
- bend-collections-laws-math@1.0.0.0/spec/math/natural:GcdAll.greatest
- …