bernoulli probability measure#895

affeldt-aist merged 4 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:bernoulliaffeldt-aist/analysis:bernoulliCopy head branch name to clipboard