Metamath Proof Explorer

Table of Contents - 5.10.13. Falling and Rising Factorial

1. cfallfac
2. crisefac
3. df-risefac
4. df-fallfac
5. risefacval
6. fallfacval
7. risefacval2
8. fallfacval2
9. fallfacval3
10. risefaccllem
11. fallfaccllem
12. risefaccl
13. fallfaccl
14. rerisefaccl
15. refallfaccl
16. nnrisefaccl
17. zrisefaccl
18. zfallfaccl
19. nn0risefaccl
20. rprisefaccl
21. risefallfac
22. fallrisefac
23. risefall0lem
24. risefac0
25. fallfac0
26. risefacp1
27. fallfacp1
28. risefacp1d
29. fallfacp1d
30. risefac1
31. fallfac1
32. risefacfac
33. fallfacfwd
34. 0fallfac
35. 0risefac
36. binomfallfaclem1
37. binomfallfaclem2
38. binomfallfac
39. binomrisefac
40. fallfacval4
41. bcfallfac
42. fallfacfac