Metamath Proof Explorer


Table of Contents - 20.36.6. The generalized binomial coefficient operation

  1. cbcc
  2. df-bcc
  3. bccval
  4. bcccl
  5. bcc0
  6. bccp1k
  7. bccm1k
  8. bccn0
  9. bccn1
  10. bccbc