Commit 2024-04-30 18:55 a0c45070

feat: {Mv}Polynomial.algebraMap_apply simps (#11193)

• Adds lemma Polynomial.algebraMap_eq analogous to MvPolynomial.algebraMap_eq
  • Adds some namespace disambiguations in various places to make this possible
• Adds simp to these, and the related {Mv}Polynomial.algebraMap_apply lemmas.
  • Removes simp tag from later lemmas which linter says these additions now allow to be simp-proved