Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.X_sub_C_dvd_sub_C_eval

Modification history

2023-06-10 17:01
src/data/polynomial/div.lean
feat(data/polynomial/div): add X_sub_C_dvd_sub_C_eval (#19120)
Added polynomial.X_sub_C_dvd_sub_C_evalView on Github →