generalized measurable_ln#1602

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

hoheinzollern:measurable_lnhoheinzollern/analysis:measurable_lnCopy head branch name to clipboard