cleanup: golf padicLog_mul_of_norm_lt_one (#1)#4

CBirkbeck merged 1 commit into

mainCBirkbeck/AINTLIB:mainfrom

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