coeff): generalize to coeff_X_add_C_pow (#11093)

Commit

4 years ago

feat(data/polynomial/coeff): generalize to coeff_X_add_C_pow (#11093) That golfs the proof for `coeff_X_add_one_pow`.

Author

pechersky

Parents