def LcmAll.least

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

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

171def LcmAll.least(+m: Nat, +xs: List<&2, Nat>, +ks: List<&2, Nat>, h: mul_with(m, xs, ks)) -> Type:
172  dvd(M.lcm_all(xs), m)