~/jendhub

def GcdAll.greatest

bend-collections-laws-math@1.0.0.0 · spec/math/natural.bend:165

import bend-collections-laws-math@1.0.0.0/spec/math/natural.bend as Natural
import Base
import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as M

165def GcdAll.greatest(+d: Nat, +xs: List<&2, Nat>, +ks: List<&2, Nat>, h: dvd_with(d, xs, ks)) -> Type:
166  dvd(d, M.gcd_all(xs))

Uses (5)

Used by (1)