def comb
import bend-collections-laws-crypto@1.0.0.0/src/math/natural.bend as Naturalimport Base
152def comb(+n: Nat, +k: Nat) -> Nat:
153 comb_small(n, k, Nat.is_lt(n, k))
Uses (3)
Used by (9)
- bend-collections-laws-crypto@1.0.0.0/proofs/math/natural/fact:comb_ok
- bend-collections-laws-crypto@1.0.0.0/spec/math/natural:Comb.factorials
- bend-collections-laws-crypto@1.0.0.0/spec/math/natural:Comb.pascal
- bend-collections-laws-crypto@1.0.0.0/spec/math/natural:Comb.value
- bend-collections-laws-crypto@1.0.0.0/spec/math/natural:Comb.zero
- …