mathlib

de12036b - chore(data/polynomial): remove monomial_one_eq_X_pow (#4734)

chore(data/polynomial): remove monomial_one_eq_X_pow (#4734) monomial_one_eq_X_pow was a duplicate of X_pow_eq_monomial Co-authored-by: faenuccio <65080144+faenuccio@users.noreply.github.com>