Commit 2021-05-17 23:05 b8a69951

feat(data/polynomial): the d-1th coefficient of polynomial.map (#7639) We prove polynomial.next_coeff_map just like polynomial.leading_coeff_map'.