cleanup: golf summable_prod_of_norm_coeff_le_linear (#5)#264

CBirkbeck merged 1 commit into

mainCBirkbeck/AINTLIB:mainfrom

cleanup/5CBirkbeck/AINTLIB:cleanup/5Copy head branch name to clipboard