Metamath Proof Explorer

Table of Contents - 20.3.22. Probability

1. Probability Theory
   1. cprb
   2. df-prob
   3. elprob
   4. domprobmeas
   5. domprobsiga
   6. probtot
   7. prob01
   8. probnul
   9. unveldomd
   10. unveldom
   11. nuleldmp
   12. probcun
   13. probun
   14. probdif
   15. probinc
   16. probdsb
   17. probmeasd
   18. probvalrnd
   19. probtotrnd
   20. totprobd
   21. totprob
   22. probfinmeasb
   23. probfinmeasbALTV
   24. probmeasb
2. Conditional Probabilities
   1. ccprob
   2. df-cndprob
   3. cndprobval
   4. cndprobin
   5. cndprob01
   6. cndprobtot
   7. cndprobnul
   8. cndprobprob
   9. bayesth
3. Real-valued Random Variables
   1. crrv
   2. df-rrv
   3. rrvmbfm
   4. isrrvv
   5. rrvvf
   6. rrvfn
   7. rrvdm
   8. rrvrnss
   9. rrvf2
   10. rrvdmss
   11. rrvfinvima
   12. 0rrv
   13. rrvadd
   14. rrvmulc
   15. rrvsum
4. Preimage set mapping operator
   1. corvc
   2. df-orvc
   3. orvcval
   4. orvcval2
   5. elorvc
   6. orvcval4
   7. orvcoel
   8. orvccel
   9. elorrvc
   10. orrvcval4
   11. orrvcoel
   12. orrvccel
   13. orvcgteel
5. Distribution Functions
   1. orvcelval
   2. orvcelel
   3. dstrvval
   4. dstrvprob
6. Cumulative Distribution Functions
   1. orvclteel
   2. dstfrvel
   3. dstfrvunirn
   4. orvclteinc
   5. dstfrvinc
   6. dstfrvclim1
7. Probabilities - example
   1. coinfliplem
   2. coinflipprob
   3. coinflipspace
   4. coinflipuniv
   5. coinfliprv
   6. coinflippv
   7. coinflippvt
8. Bertrand's Ballot Problem
   1. ballotlemoex
   2. ballotlem1
   3. ballotlemelo
   4. ballotlem2
   5. ballotlemfval
   6. ballotlemfelz
   7. ballotlemfp1
   8. ballotlemfc0
   9. ballotlemfcc
   10. ballotlemfmpn
   11. ballotlemfval0
   12. ballotleme
   13. ballotlemodife
   14. ballotlem4
   15. ballotlem5
   16. ballotlemi
   17. ballotlemiex
   18. ballotlemi1
   19. ballotlemii
   20. ballotlemsup
   21. ballotlemimin
   22. ballotlemic
   23. ballotlem1c
   24. ballotlemsval
   25. ballotlemsv
   26. ballotlemsgt1
   27. ballotlemsdom
   28. ballotlemsel1i
   29. ballotlemsf1o
   30. ballotlemsi
   31. ballotlemsima
   32. ballotlemieq
   33. ballotlemrval
   34. ballotlemscr
   35. ballotlemrv
   36. ballotlemrv1
   37. ballotlemrv2
   38. ballotlemro
   39. ballotlemgval
   40. ballotlemgun
   41. ballotlemfg
   42. ballotlemfrc
   43. ballotlemfrci
   44. ballotlemfrceq
   45. ballotlemfrcn0
   46. ballotlemrc
   47. ballotlemirc
   48. ballotlemrinv0
   49. ballotlemrinv
   50. ballotlem1ri
   51. ballotlem7
   52. ballotlem8
   53. ballotth