Adds measurable_expR and measurable function composition#1061

hoheinzollern wants to merge 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

hoheinzollern:measurable_expR_comphoheinzollern/analysis:measurable_expR_compCopy head branch name to clipboard