Def MvPolynomial.idealOfVars

Modification history

2026-02-24 10:38
Mathlib/RingTheory/MvPolynomial/Ideal.lean
chore: bump toolchain to v4.29.0-rc2 (#35708)
Deleted MvPolynomial.idealOfVarsView on Github →
2026-02-02 07:19
Mathlib/RingTheory/MvPolynomial/Ideal.lean
feat(RingTheory/MvPolynomial): powers of ideal of variables (#33539) …
Added MvPolynomial.idealOfVarsView on Github →