Add lemma pmf_measurable#1827

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

Yosuke-Ito-345:pmf_measurableYosuke-Ito-345/analysis:pmf_measurableCopy head branch name to clipboard