Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-22 17:33 de12036b

View on Github →

chore(data/polynomial): remove monomial_one_eq_X_pow (#4734) monomial_one_eq_X_pow was a duplicate of X_pow_eq_monomial

Estimated changes