Theorem polynomial.support_C_mul_X_pow_nonzero
Modification history
2022-05-25 20:40
src/data/polynomial/degree/definitions.lean
refactor(data/polynomial/*): Make `support_C_mul_X_pow` match `support_monomial` (#14119) …
Deleted polynomial.support_C_mul_X_pow_nonzeroView on Github →