Proof of interchange_psum using esum#2061

lyonel2017 wants to merge 2 commits into

math-comp:mastermath-comp/analysis:masterfrom

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