Counting distribution#2049

lyonel2017 wants to merge 2 commits into

math-comp:mastermath-comp/analysis:masterfrom

lyonel2017:counting_distributionlyonel2017/analysis:counting_distributionCopy head branch name to clipboard