*): Make `support_C_mul_X_pow` match `support_monomial` (#14119)

Commit

3 years ago

refactor(data/polynomial/*): Make `support_C_mul_X_pow` match `support_monomial` (#14119) This PR makes `support_C_mul_X_pow` match `support_monomial`.

Author

tb65536

Parents

dc0fadda

mathlib3 c5b3de8d - refactor(data/polynomial/*): Make `support_C_mul_X_pow` match `support_monomial` (#14119)

mathlib3
c5b3de8d - refactor(data/polynomial/*): Make `support_C_mul_X_pow` match `support_monomial` (#14119)