Theorem MvPolynomial.aeval_injective_iff_of_isEmpty

Modification history

2025-01-23 12:19

Mathlib/Algebra/MvPolynomial/Equiv.lean

feat(MvPolynomial): commuting the variables of mv-polynomials of mv-polynomials (#20447) …

Modified MvPolynomial.aeval_injective_iff_of_isEmpty View on Github →

2024-09-17 21:38

Mathlib/Algebra/MvPolynomial/Equiv.lean

feat(RingTheory/StandardSmooth): ring isomorphisms are standard smooth (#16869) …

Added MvPolynomial.aeval_injective_iff_of_isEmpty View on Github →