Theorem MvPolynomial.aeval_algebraMap_eq_zero_iff_of_injective

Modification history

2023-03-15 10:05
Mathlib/RingTheory/MvPolynomial/Tower.lean
feat: port RingTheory.MvPolynomial.Tower (#2897)
Added MvPolynomial.aeval_algebraMap_eq_zero_iff_of_injectiveView on Github →