Add lemma pmf_measurable#1827

Yosuke-Ito-345 wants to merge 3 commits intomath-comp:mastermath-comp/analysis:masterfrom

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