Add missing lemmas for distr#1954

lyonel2017 wants to merge 4 commits into

math-comp:mastermath-comp/analysis:masterfrom

lyonel2017:feature-esum-psumlyonel2017/analysis:feature-esum-psumCopy head branch name to clipboard