def comb
import bend-collections-laws-math@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 (11)
- bend-collections-laws-math@1.0.0.0/proofs/math/natural/fact:comb_ok
- bend-collections-laws-math@1.0.0.0/spec/math/generic:Comb.checked
- bend-collections-laws-math@1.0.0.0/spec/math/natural:Comb.factorials
- bend-collections-laws-math@1.0.0.0/spec/math/natural:Comb.pascal
- bend-collections-laws-math@1.0.0.0/spec/math/natural:Comb.value
- …