redefine distr using esum and lebesgue#1952

affeldt-aist wants to merge 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:counting_distributionaffeldt-aist/analysis:counting_distributionCopy head branch name to clipboard