Theorem MvPolynomial.aeval_algebraMap_eq_zero_iff

Modification history

2026-01-13 19:40
Mathlib/RingTheory/MvPolynomial/Tower.lean
chore(Algebra): replace `NoZeroSMulDivisors` with `Module.IsTorsionFree` wlog (#30563) …
Modified MvPolynomial.aeval_algebraMap_eq_zero_iffView on Github →
2023-03-15 10:05
Mathlib/RingTheory/MvPolynomial/Tower.lean
feat: port RingTheory.MvPolynomial.Tower (#2897)
Added MvPolynomial.aeval_algebraMap_eq_zero_iffView on Github →