def Comb.value

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

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

191def Comb.value(+n: Nat, +k: Nat) -> Type:
192  {M.comb(n, k) == choose(n, k) : Nat}