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
chore(data/polynomial): remove monomial_one_eq_X_pow (#4734) monomial_one_eq_X_pow was a duplicate of X_pow_eq_monomial