Metamath Proof Explorer

Table of Contents - 21.39. Mathbox for Steve Rodriguez

1. Miscellanea
   1. nanorxor
   2. undisjrab
   3. iso0
   4. ssrecnpr
   5. seff
   6. sblpnf
   7. prmunb2
2. Ratio test for infinite series convergence and divergence
   1. dvgrat
   2. cvgdvgrat
   3. radcnvrat
3. Multiples
   1. reldvds
   2. nznngen
   3. nzss
   4. nzin
   5. nzprmdif
   6. hashnzfz
   7. hashnzfz2
   8. hashnzfzclim
4. Function operations
   1. caofcan
   2. ofsubid
   3. ofmul12
   4. ofdivrec
   5. ofdivcan4
   6. ofdivdiv2
5. Calculus
   1. lhe4.4ex1a
   2. dvsconst
   3. dvsid
   4. dvsef
   5. expgrowthi
   6. dvconstbi
   7. expgrowth
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
7. Binomial series
   1. uzmptshftfval
   2. dvradcnv2
   3. binomcxplemwb
   4. binomcxplemnn0
   5. binomcxplemrat
   6. binomcxplemfrat
   7. binomcxplemradcnv
   8. binomcxplemdvbinom
   9. binomcxplemcvg
   10. binomcxplemdvsum
   11. binomcxplemnotnn0
   12. binomcxp